Academic CV of Dirk Nowotka

October 91 - September 93

Intermediate Diploma (Vordiplom)
Department of Computer Science
Dresden University of Technology

October 93 - July 94

BSc with Distinction
Computing Department
University of Northumbria at Newcastle,
Certificate of Advanced English of the University of Cambridge

October 94 - June 97

MSc Computer Science (Dipl. Inform.)
Master thesis: Model Checking with Abstraction
Supervisor: Prof. H. Reichel
Institute of Theoretical Computer Science
Department of Computer Science
Dresden University of Technology

July 97 - September 98

Formal Verification (research assistant)
Projects: Holly and CAT (with Marco Benini, Sara Kalvala, and Carl Pulley)
Department of Computer Science
University of Warwick

October 98 - April 2000

Mechanical Verification (research assistant)
Projects: Abstract Theory package, for the HOL98 system, and MinLem
Turku Centre for Computer Science
Institutionen för informationsbehandling (page in swedish)
Åbo Akademi University

May 2000 - March 2004

PhD (laudatur)
Thesis: Periodicity and Unbordered Factors of Words
Supervisors: Prof. J. Karhumäki and Prof. T. Harju
Turku Centre for Computer Science
Department of Mathematics
University of Turku

April 2004 - September 2004

PostDoc
Group: Prof. J. Hromkovic
Information Technology and Education
Department of Computer Science
Swiss Federal Institute of Technology Zürich (ETH)

since October 2004

research assistant
Groups: Prof. J. Esparza and Prof. V. Diekert
Institute for Formal Methods in Computer Science
Universität Stuttgart