Curriculum Vitae Axel Rauschmayer

School and academia

2010 Mar – 2011 Feb

Post-doc at the University of Munich

2002 May – 2010 Feb

Research assistant, doctorate in Informatics (University of Munich), German grade 1.0 (US grade A)

2001 Jun – 2001 Dec

Guest researcher at the University of Texas at Austin (where I wrote my diploma thesis, under the guidance of Prof. Don Batory)

1994 Oct – 2001 Dec

Diploma in Informatics (University of Munich), German grade 1.15 (US grade A)

1992 Oct – 1993 Dec

Civil service (an alternative to the mandatory military service in Germany)

1977 – 1992

Preschool, elementary school, high school

Non-academic and extracurricular work

2002

One of the founders of the “Natur Energieanlagen Projekt GmbH” (NEAP) a small company in Munich that manages facilities for renewable energies

1999 Jun – 2000 Dec

Pangora GmbH (founding member, technical manager) which runs shopping portals for over 100 partners in Europe (in 2010)

1999 Jun – Dec

Assistant, Center for Information and Language Processing, Munich

1999

Voluntary work: online archive for learning materials for the Department of Informatics at the University of Munich (still in operation, as of 2010)

1998

Macintosh consultant

1996 Mar – 1997 Jul

Assistant, TU Munich, working on the theorem prover Setheo

1992

Translated the book “Windows 3.1 Seminar” for Microsoft Press (English to German)

Academic activities

Comittees:

Managing the publishing process of LNCS volumes:

Research projects:

Teaching:

Publications: