Date | Event or Occupation |
Oct 1997 - Sep 1998 | Postdoc at Carnegie Mellon University, School of Computer Science, Pittsburgh PA, USA. Working in the Model Checking Group with Prof. Edmund M. Clarke |
Jan 1997 | PhD in Computer Science (Dr. rer nat) of the University of Karlsruhe, Germany |
Oct 1993 - Sep 1997 | Researcher and Assistant Teacher: Institute for Logic, Complexity, and Deduction Systems, Lehrstuhl Prof. P. Deussen, University of Karlsruhe, Germany |
Oct 1993 - Sep 1996 | Graduiertenkolleg "Beherrschbarkeit Komplexer Systeme", University of Karlsruhe, Germany |
Oct 1993 | Diploma in Computer Science of the University of Karlsruhe, Germany |
Oct 1987 - Sep 1993 | Undergraduate Studies: Department of Computer Science, University of Karlsruhe, Germany |
Oct 1986 - Dec 1987 | Military Service: Stetten a. k. M., Germany |
Jun 1986 | Abitur (Baden-Württemberg) |
1977 - 1986 | Secondary School: Gymnasium Schramberg, Germany |
22. April 1967 | born in Villingen-Schwenningen, Germany |
Last Change: Fri Sep 11 18:44:34 EDT 1998 Armin Biere