| Datum | Ereignis oder Beschäftigung |
| Okt 1997 - Sep 1998 | Postdoc an der Carnegie Mellon Universität, School of Computer Science, Pittsburgh PA, USA. Mitarbeiter in der Model Checking Gruppe von Prof. Edmund M. Clarke |
| Jan 1997 | Promotion in Informatik. Dr. rer nat der Universität Karlsruhe |
| Okt 1993 - Sep 1997 | Wissenschaftlicher Mitarbeiter am Institut für Logik, Komplexität und Deduktionssysteme, Lehrstuhl Prof. P. Deussen, Universität Karlsruhe |
| Okt 1993 - Sep 1996 | Graduiertenkolleg "Beherrschbarkeit Komplexer Systeme", Universität Karlsruhe |
| Okt 1993 | Diplom in Informatik der Universität Karlsruhe |
| Okt 1989 | Vordiplom in Informatik der Universität Karlsruhe |
| Okt 1987 - Sep 1993 | Studium der Informatik an der Universität Karlsruhe |
| Okt 1986 - Dez 1987 | Wehrdienst in Stetten a. k. M. |
| Jun 1986 | Abitur (Baden-Württemberg) am Gymnasium Schramberg |
| 1977 - 1986 | Gymnasium Schramberg |
| 1973 - 1977 | Grundschule: Berneckschule Schramberg |
| 22. April 1967 | geboren in Villingen-Schwenningen |
Letzte Änderung: Fri Sep 11 18:40:34 EDT 1998 Armin Biere