Serge Autexier

DFKI

Dr. Serge Autexier
Senior Researcher

Safe and Secure Cognitive Systems

DFKI-Lab Bremen
Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen
Germany



DFKI GmbH
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Germany
Email:
Tel: +49 421 218 64272 Tel: +49 681 302 5365
Cartesium, Room 2.054 Building D 3 2, Room +1.19
Fax: +49 421 218 98 64272
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 is now integrating the Safe and Secure Cognitive Systems group at the DFKI Lab in Bremen. Until the move to Bremen is completed I will be going back and forth between Saarbrücken and Bremen (hence the two addresses above).

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
  • Development of
    • The CORE system developed in my PhD Thesis
    • The mathematical assistance system OMEGA
    • The development graph manager MAYA
    • The inductive theorem prover INKA 5.0
Services to the Scientific Community

Warning: mysql_connect() [function.mysql-connect]: Client does not support authentication protocol requested by server; consider upgrading MySQL client in /home/serge/public_html/db_mysql.inc on line 75
Database error: connect(sqlhost2.informatik.uni-bremen.de, autexier, $Password) failed.
MySQL Error: ()
Session halted.