[an error occurred while processing this directive]
Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group

[an error occurred while processing this directive] englishicon
 

Priv.-Doz. Dr. habil. Dirk Nowotka

Dirk Nowotka I have recently moved to Kiel.
 
Mail  Dependable Systems group
Department of Computer Science
Christian-Albrechts-Universität zu Kiel
24098 Kiel
GERMANY
Visitors  room 1308, Christian-Albrechts-Platz 4, 24118 Kiel
Phone +49 (0)431-880-4199
Email dn AT informatik DOT uni-kiel DOT de
 
 
Heisenberg-Fellow

Research motto: Computer science is mathematics at work.

Latest projects:

  • Dagstuhl Seminar Combinatorial and Algorithmic Aspects of Sequence Processing
    organized together with M. Crochemore, L. Kari, and M. Mohri; February 2011
  • Oberwolfach Miniworkshop Combinatorics on Words
    organized together with V. Berthé, J. Karhumäki, and J. Shallit; August 2010
  • PPP Finland funded by the DAAD (German Academic Exchange Service)
    exchange programme Stuttgart-Turku from June 2008 - May 2010
    (project leader)

Some selected publications: Full list of publications.

Conferences:

  • PC member TIME 2011, Lübeck, Germany
  • PC member WORDS 2011, Prague, Czech Republic
  • 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)

Projects:

  • Dagstuhl Seminar Combinatorial and Algorithmic Aspects of Sequence Processing
    organized together with M. Crochemore, L. Kari, and M. Mohri; February 2011
  • Oberwolfach Miniworkshop Combinatorics on Words
    organized together with V. Berthé, J. Karhumäki, and J. Shallit; August 2010
  • 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)

Academic CV.

Teaching:

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