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

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
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 4th Workshop on Programming Languages for Mechanized Mathematics Systems in connection with CICM 2010, Paris, France, 05th July 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 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
PC member of the 7th International Workshop on the Implementation of Logics (IWIL'08) in connection with LPAR 2008, Doha, Qatar, 22nd November 2008
Co-chair & Co-organizer of the 8th International Workshop on User Interfaces for Theorem Provers (UITP'08) in connection with TPHOLS'08, Montréal, Québec, Canada, 22nd August 2008
PC member of the 5th International Verification Workshop (VERIFY'08) in connection with IJCAR'08, Sydney, Australia, 2008-2008
PC member of the Workshop on Practical Aspects of Automated Reasoning (PAAR-2008) in connection with IJCAR'08, Sydney, Australia, 2008-2008
Co-chair of the 7th International Conference on Mathematical Knowledge Management (MKM'08) in connection with CICM'08, Birmingham, UK, 2008-2008
Deputy Spokesman of the German Interest Group on Automated Deduction, 2008-2011
Member of the organising committee of the Deduktionstreffen 2008, Saarbrücken, Germany, 2008-2008
Trustee (ex-officio) of the Mathematical Knowledge Management Interest Group, 2007-2010

Complete list

Publications, Talks, CV, & others

Publications (or else at DBLP, Google Scholar, CiteSeer)
Talks
Curiculum vitae
Timetable
Trips
My PGP Public Key is available on request

Teaching

Complete list

Topics for Master Theses, FoPras, Hiwi positions

Last Updated: Mon, 23 Nov 2009 11:28:14 +0000