---

Dr. habil. Klaus Reinhardt

Short Bio

February 2005, Habilitation in Computer Science,
University of Tübingen
Thesis: Counting as Method, Model and Task in Theoretical Computer Science
Colloquium: February 16, 2005

_______

July 1994, PhD in Computer Science (Dr.rer.nat), University of Stuttgart
Thesis: Priority-multicounter-automata and the synchronization of semitrace-languages [Rei94b]
Date of defence: July 7, 1994
Supervisor: Prof. Dr. V. Diekert   

_______

October 1984 - September 1989, Computer science studies, University of Stuttgart with Linguistics and Mathematics as subsidiary subjects

• October 1986, Vordiplom (B.S. degree) in Computer Science'
• September 1989, Diploma (MSc) in Computer Science, University of Stuttgart. Thesis: Hierarchies with alternating pushdown-automata, alternating grammars and finite transducers'

_______

September 1974 - June 1983, Highschool: Wilhelmsgymnasium    in Stuttgart

• June 1983, Abitur (university-entrance diploma)

Awards

Best paper award in track B of ICALP 2012 [DKRW12]

National Mathematics Competition, Germany  (Bundeswettbewerb Mathematik), 1982:

• First price in the first round,
• Third price in the second round.

Zum Seitenanfang