Serge Autexier

Dr. Serge Autexier
Senior Researcher

Safe and Secure Cognitive Systems DFKI Bremen Cartesium Enrique-Schmidt-Straße 5 28359 Bremen Germany
Cartesium, Room 2.054

Email:
Tel: +49 421 218 64272
Fax: +49 421 218 98 64272

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 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
Development of
- 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

Co-chair & Co-organizer of the 6th Verification Workshop (VERIFY'10) in connection with IJCAR'10 at FLOC'10, Edinburgh, Scotland, 2010-2010
PC member of the 9th Workshop on User-Interfaces for Theorem Provers (UITP'10) in connection with ITP'10 at FLOC'10, Edinburgh, Scotland, 20th July 2010
PC member of the 9th International Conference on Mathematical Knowledge Management in connection with CICM 2010, Paris, France, 2010-2010
Chair of the 10th International Conference on Artificial Intelligence and Symbolic Computation in connection with CICM 2010, Paris, France, 2010-2010
PC member of the 4th Workshop on Programming Languages for Mechanized Mathematics Systems in connection with CICM 2010, Paris, France, 05th July 2010
PC member of the 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS'09) in connection with CICM'09, Canada, 2009-2009
PC member of the 4th Workshop on Logical and Semantic Frameworks, with Applications (LSFA'09) in connection with RDP'09, Brasília, Brazil , 28th June 2009
Co-Editor of the Special Issue Authoring, Digitalization and Management of Mathematical Knowledge, Mathematics in Computer Science, Springer, 05th January 2009
Co-Editor of the Special issue on User Interfaces for Theorem Proving, (ENTCS), forthcoming, 30th September 2008

Publications, Talks, CV, & others

Teaching

Last Updated: Fri, 12 Mar 2010 19:25:57 +0000