University of Bremen - Faculty 3 - Computer Science To: Central (Faculty 3 - Universität Bremen) To: Computer Science (Faculty 3 - Universität Bremen) To: Mathematics (Faculty 3 - Universität Bremen) To: Faculty 3 (Universität Bremen) To: Universität Bremen
Homepage - Sitemap - Print version

Deutsch  
HAUPTMENUE:
News
Teaching/Study
Research
Organisation
Service
Contact




SUCHE:




Login SSL ?
Link to external site Webmail Webmail || SSL-Login ?
Link to external site Stud.IP Stud.IP-eLearning || SSL-Login



INHALT & PFAD:
Home «Service «List of members Detail

Photo: Edelkamp, Stefan
Prof. Dr.  Stefan  Edelkamp
Research group/institution:
Link to external site  TZI  (TZI)

Room:Fallturm 2.62
Phone [business]: +49 (421) 218 - 64007
Fax number: +49 (421) 218 - 7820
Phone number (external):0151-22630923
Email :email


Link to external site Official Homepage
Link to external site Personal Homepage
Link to external site Publications




Activities

Interest in Algorithmic Intelligence

Heuristic Search, Action Planning, Game Playing, Machine Learning, Robotics, Model Checking, Hardware and Software Verification, Protocol and Program Validation, External Memory Algorithms, Parallel and Distributed Computing, Algorithm Engineering, Computational Biology, Pattern Matching, Decision Diagrams, Sequential Sorting, Graph Algorithms, Computational Geometry, Navigation Systems, ...

Projects

  • Leader of project KISS. 2012. Funded by BMBF. Proposed.
  • Coordinator of project FIDES. 2009 - today. Funded by BMBF.
  • Leader of running project Planning Algorithms for General Game Playing. 2009 - today. Funded by DFG (ED 74/10).
  • Leader of running project Model Checking on SSD and GPU. 2009 - today. Funded by DFG (ED 74/8).
  • Leader of project External Implicit Graph Search. 2007 - 2009. DFG Priority Program Algorithm Engineering. Funded by DFG (ED 74/4).
  • Leader of Emmy-Noether project Heuristic Search. 2003 - 2008. Funded by DFG (ED 74/3).
  • Leader of project Directed Model Checking with Exploration Algorithms of Artificial Intelligence. 2002 - 2008. Funded by DFG (ED 74/2).
  • Leader of project Heuristic Search and its Application to the Validation of Protocols. 1998 - 2003. Funded by DFG (Ot 64/13).
  • Member of joint ESA bit on Advanced Planning and Scheduling Initiative with SciSys, Universities of Strathclyde and Cork.
  • Member of joint STREP proposal on YouTrace - Collaborative Map Construction for Optimized Urban Mobility with Instituto Pedro Nunes, University of Coimbra, Dortmund University of Technology, University of Muenster, TU Delft, Transports
Program Committee Member
  • International Joint Conference on Artificial Intelligence (IJCAI-09 - IJCAI-11)
  • Parallel and Distributed Methods in Verification (PDMC-07 – PDMC-11)
  • International Symmetry Conference (ISC-07)
  • International Conference on Automated Planning and Scheduling (ICAPS-05 – ICAPS-11)
  • National Conference on Artificial Intelligence (AAAI-05 – AAAI-12)
  • European Conference on Artificial Intelligence (ECAI-06 – ECAI-10)
  • Symposium on Abstraction, Reformulation, and Approximation (SARA-05 – SARA-09)
  • Symposium on Combinatorial Search (SOCS-09 – SOCS-12).
  • International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-08 - AIMSA 10)
  • International Conference on Agents and Artificial Intelligence (ICAART-11 – ICAART-12).
  • Model Checking Software (SPIN-05 – SPIN-12)
  • Model Checking and Artificial Intelligence (MOCHART-02 – MOCHART-09)
  • Florida Artificial Intelligence Research Society (FLAIRS-04)
  • German Conference on Artificial Intelligence (KI-07 - KI-12)
  • International Planning Competition (IPC-04 – IPC-06)
  • International Knowledge Engineering Competition (ICKEPS-07)
Steering Committee Member
  • Model Checking Software (SPIN), 2007 – 2010
  • Model Checking and Artificial Intelligence (MOCHART), 2007 – today
  • International Planning Competition Committee (IPCC), 2006 – today
Ph.Ds
  • Pavel Simecek (Visiting Researcher). Topic: External and Parallel LTL Model Checking, University of Brno, 2007.
  • Peter Kissmann, Topic: Generalized Game Playing and Planning with BDDs, University of Bremen, March 2007 – today
  • Damian Sulewski, Topic: Search Engineering on Flash Memory and GPU, Dortmund University of Technology, Dez. 2007 – 2011
  • Shahid Jabbar. Thesis: External Memory Algorithms for State Space Exploration in Model Checking and Planning. Apr. 2003 – Dez. 2007, Dortmund University of Technology.
  • Anton Wijs (Committee Member). Ph.D. Thesis: What to Do Next? Analyzing and Optimizing System Behavior in Time. 2007, Centrum voor Wiskunde en Informatica (CWI) Amsterdam, Netherlands.
  • Kairong Qian (Committee Member). Ph.D. Thesis: Formal Verification using Heuristic Searchband Abstraction Techniques. 2006, University of Southern Wales, Australia.
  • Tilman Mehler. Thesis: Challenges and Applications of Assembly-Level Software Model Checking Oct. 2002 – Sep. 2005, Dortmund University of Technology.
  • Alberto Lluch-Lafuente. Thesis: Directed Search for the Verification of Communication Protocols Aug. 1999 – June 2003, University of Freiburg.
Dagstuhl
  • Co-Organizer of Dagstuhl Seminar on Intelligent Security, proposed 2012-2013.
  • Co-Organizer of Dagstuhl Seminar on Search Engineering, 2009.
  • Co-Organizer of Dagstuhl Seminar on Directed Model Checking, 2006.
  • Co-Organizer of Dagstuhl Seminar on GPS Navigation, 2004.
  • Invited Participant to Dagstuhl Seminars on Exploration of Large State Spaces, Cache-Oblivious and Cache-Aware Algorithms, Memory Hierarchies, and Synthesis and Planning.
Patent
Ereignis-Korrelation durch exponentielle Modelle mit toleranter Mustererkennung basierend auf einer ontologischen Repräsentation. Aktenzeichen DE102011077611.7 beim Deutschen Patent- und Markenamt

Further Scientific Activities
Co-Speaker of German GI Interest Group Planning and Configuration, Sep. 2004 – today.



CV

Personal Information
Date of birth: July 28th, 1969; Nationality: German Children: Maximilian Theodor (born June 2003), Justus Franz Bernhard (born July 2005), Raban (born April 2010)

Publications
Over 100 archived conference and journal papers, book contributions and books. See DBLP Entry

Research Experiences
University of Bremen, Researcher and Lecturer at TZI, Faculty of Mathematics and Computer Science. Nov. 2008 – today.

Dortmund University of Technology, Researcher and Lecturer at Chair for Programming Systems and Compiler Construction, Faculty of Computer Science. June 2008 – Nov. 2008.

Dortmund University of Technology, Junior Research Group Leader at Chair for Programming Systems and Compiler Construction, Faculty of Computer Science. March 2003 – May 2008.

University of Freiburg, Assistant Professor at Chair for Algorithms and Data Structures, Institute for Computer Science. Nov. 1998 – Feb. 2003.

University of Freiburg, Research Assistant at Chair for Algorithms and Data Structures, Institute for Computer Science. Oct. 1998.

University of California Los Angeles, Visiting Researcher at Chair for Artificial Intelligence, Computer Science Department. Aug. - Sep. 1997.

University of Freiburg, Ph.D. Student in Graduate Program Human and Machine Intelligence at Chair for Algorithms and Data Structures, Institute for Computer Science. April 1996 – Sep. 1998.

Education
Professorship. University of Bremen, April 2011. Evaluation Committee: Otthein Herzog, Kerstin Schill, Hans-Jörg Kreowski, Thomas Wagner, Daniel Kohlsdorf.

Postdoctoral Lecture Qualification. University of Freiburg, Feb. 2003. Evaluation Committee: Sven Koenig, Bernhard Nebel, Luc DeReadt. Graduated with Venia Legendi.

Ph.D. in Computer Science. University of Freiburg, Sep. 1998. Evaluation Committee: Thomas Ottmann, Bernhard Nebel. Final grade: Sehr Gut.

Erasmus Exchange Year. University College Dublin, Ireland. June 1994. Average of Final Grades: 71,6%.

Diploma in Computer Science. Dortmund University of Technology. Dez. 1997. Evaluation Committee: Ingo Wegener, Martin Dietzfelbinger. Final grade: Auszeichnung.

High School Diploma. Friedenschule Muenster, June 1988. Science Group with Electives: Physics and Mathematics. Average of Final Grades: 1.4.

Military Service Air Force. Budel and Cuxhaven, July 1988 - Sep. 1989.

Scientific Teaching
Faculty of Mathematics and Computer Science, University of Bremen.

  • Supervisor of the project GGP++ (WS 2011/12 – SS 2012).
  • Lecturer of the course Algorithm Theory (SS 2011).
  • Lecturer of the course Action Planning and General Game Play (WS 2010/11).
  • Lecturer of the course Algorithm Engineering (SS 2010).
  • Supervisor of the seminar Game Theory (SS 2010).
  • Supervisor of project FIDIUS (WS 2009/10 – SS 2011).
  • Lecturer of the course Algorithm Engineering (SS 2009).
  • Supervisor of the seminar Game Theory (SS 2009).

Faculty of Computer Science, Dortmund University of Technology.

  • Lecturer of the course Game Playing (SS 2008).
  • Lecturer of the course Advanced Search Algorithms (WS 2006/07).
  • Supervisor of the seminar External Exploration (SS 2006).
  • Lecturer of the course Artificial Intelligence (WS 2004/05, WS 2005/06).
  • Lecturer of the course Directed Model Checking (SS 2005, SS 2007).
  • Lecturer of the course Action Planning (SS 2004, WS 2007/2008).
  • Lecturer of the course Heuristic Search (WS 2003/04).
  • Supervisor of the project Bug-Finder (WS 2005/06 – SS 2006).
  • Supervisor of the project Mod-Plan (WS 2004/05 – SS 2005).
  • Supervisor of the project GPS-Route (SS 2004 – WS 2004/05).

Computer Science Department, University of Freiburg.

  • Teaching Assistant of the course Computational Biology (SS 2002).
  • Teaching Assistant of the course Parallel Algorithms and Applications (SS 2002).
  • Teaching Assistant of the course Applied Computer Science (WS 2001/02).
  • Teaching Assistant of the course Algorithm Theory (WS 1999/00).
  • Teaching Assistant of the course Computational Geometry (SS 99).
  • Teaching Assistant of the course Theory of Computation (WS 2000/01).
  • Teaching Assistant of the course Data Structures and Algorithms (SS 1999, SS 2000).
  • Teaching Assistant of the course Programming (WS 1998/99, WS 2000/01).

University of Cooperative Education, Berufsakademie Lörrach.

  • Lecturer for the course Automata and Complexity Theory (WS 2001/02).
  • Lecturer for the course Theoretical Computer Science (WS 1996/97, WS 1997/98).







back  

Last change by edelkamp am 02.11.2011



To the top  -  Impressum Last change by: SIXmin [b]   16.06.2013 Admin-Login