Serge Autexier

DFKI

Dr. Serge Autexier
Senior Researcher

Cyber-Physical Systems

DFKI Bremen
MZH
Bibliothekstr. 1
28359 Bremen
Germany
MZH, Room 3120

Email:
Tel: +49 421 218 59834
Fax: +49 421 218 98 59834
S. Autexier's Portrait

I studied computer science at the Saarland University, where I completed my Diploma (MSc) in 1996 and obtained my doctoral degree (Dr.-Ing.) in 2003. I was a member of the AG Siekmann from 1996 to 2008, first at Saarland University and from January 2002 as a member of the Deduction and Multiagentsystems Lab at DFKI. Since April 2004 Christoph Benzmüller and I were leading the OMEGA group at Saarland University, which in July 2008 moved into the Cyber-Physical Systems (formerly Safe and Secure Cognitive Systems) group at the DFKI Lab in Bremen.

Interests
  • Automated reasoning, especially inductive theorem proving, difference reduction techniques, proof-planning, abstractions, Logical Frameworks
  • Software engineering, especially formal methods, tools supporting the formal software development process
  • Bringing deductive techniques and automated reasoning into practice
  • Change Management and Change Impact Analysis (Semantic, domain specific difference analysis and change impact analysis)
  • Development of
    • The Generic Change Management Framework GMoc for automatic semantic annotation, semantic difference analysis and semantic change impact analysis)
    • The Document and Tool Integration Platform DocTIP
    • The mathematical assistance system OMEGA
    • The development graph manager MAYA
    • The inductive theorem prover INKA 5.0
 Services to the Scientific Community
Publications, Talks, CV, & others Teaching
  • Course (2+2): Formale Methoden der Softwaretechnik, Bremen University, (WiSe 2012/2013)

Topics for Master Theses, FoPras, Hiwi positions



Last Updated: Thu, 24 May 2012 15:01:25 +0200