Dr. habil. Dirk Nowotka

		Software Reliability and Security Group (SZS)
		Institute for Formal Methods in Computer Science (FMI)
		Universität Stuttgart
		Address	Institut für Formale Methoden der Informatik
			Universität Stuttgart
			Universitätsstr. 38
			D-70569 Stuttgart
			GERMANY
		Room	1.156, Computer Science Building (location)
		Phone	+49 (0)711-7816-480
		Fax	+49 (0)711-7816-310
		Email	dirk DOT nowotka AT informatik DOT uni-stuttgart DOT de

Research motto: Computer science is mathematics at work.

Latest publications:

• Cyclically Repetition-free Words on Small Alphabets, IPL, accepted, 2009. (with T. Harju)
• The Ehrenfeucht-Silberger Problem, ICALP 2009, LNCS 5555, p. 537-548, 2009. (with Š. Holub)
  (This solves a longstanding problem by Ehrenfeucht and Silberger about the relation between the period of a word and its longest unbordered factor.)
• Maximal Intersection Queries in Randomized Input Models, ToCS, to appear. (with B. Hoffmann, M. Lifshits, and Y. Lifshits)

• The Ehrenfeucht-Silberger Problem, ICALP 2009, LNCS 5555, p. 537-548, 2009. (with Š. Holub)
• Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture, JACM, 54(4):20, 2007. (with T. Harju)
• Border Correlation of Binary Words, JCT-A, 108(2):331-341, 2004. (with T. Harju)
• Weinbaum Factorizations of Primitive Words, Izv. VUZ. Mat., (1):21-33, 2010. (with V. Diekert and T. Harju)
• Maximal Intersection Queries in Randomized Input Models, ToCS, to appear. (with B. Hoffmann, M. Lifshits, and Y. Lifshits)
• sequences A091838 and A099766 in the On-Line Encyclopedia of Integer Sequences

Projects:

• Dagstuhl Seminar Combinatorial and Algorithmic Aspects of Sequence Processing
  organized together with M. Crochemore, L. Kari, and M. Mohri; February 2011
• PPP Finland funded by the DAAD (German Academic Exchange Service)
  exchange programme Stuttgart-Turku from June 2008 - May 2010
  (project leader)
• How to gain more trust in model based software development?
  an industrial project together with Daimler from June through October 2008
• TEGnology Bulletin together with the Fraunhofer TEG (a division of the Fraunhofer Gesellschaft)
  a project for a service for the early detection of emerging technologies relevant for companies
  (representing the Universität Stuttgart)

Conferences:

• PC member CIAA 2009, Sydney, Australia
  (International Conference on Implementation and Application of Automata)
• OC member and workshops organizer DLT 2009, Stuttgart, Germany
  (International Conference on Developments in Language Theory)
• Editor (together with V. Diekert) of the DLT 2009 Proceedings (LNCS 5583, Springer-Verlag) and the DLT 2009 Special Issue of the International Journal of Foundations of Computer Science (IJFCS)

Academic CV.

Teaching:

• Grundlagen der Softwarezuverlässigkeit (Winter 2009/2010)
• Algorithmik (Winter 2009/2010)
• Einführung in die Softwaretechnik II (Summer 2009)
• Networks and Processes (Winter 2008/2009)
• Einführung in die Softwaretechnik II (Summer 2008)
• Networks and Processes (Winter 2007/2008)
• Einführung in die Softwaretechnik II (Summer 2007)
• Modellierung und Analyse von Echtzeitsystemen (Winter 2006/2007)
• Hauptseminar: Inside Google (Winter 2006/2007)
• Automatische Analyse und Verifikation von Programmen (Summer 2006)
• Hauptseminar: Spiele in der Informatik (Summer 2006)
• Modellierung und Analyse von Echtzeitsystemen (Winter 2005/2006)
• Theoretische Informatik III (Summer 2005)
• Logik (Winter 2004/2005)

Some source code and documentation from projects in Automated Theorem Proving that I used to work on.

• Holly a proof system for object code verification
• Computer Arithmetic Toolkit (CAT) for the Isabelle/HOL system
• Abstract Theory package for the HOL98 system
• MinLem for reasoning in partial-order structures