Dr. rer. nat. Ingmar Meinecke

• Forschungsinteressen

  Automatentheorie und Theorie der formalen Sprachen, gewichtete Automaten, Nebenläufigkeit, Logik, Model Checking

  
  

• Ausbildung

  Studium der Mathematik mit Schwerpunkt Algebra, danach Arbeit an der Grenze zwischen Algebra und Theoretischer Informatik

  
  

• Sprechstunde

  nach Vereinbarung: einfach vorbeikommen oder eine Email schreiben

  
  

• Postanschrift

  Ingmar Meinecke
  Universität Leipzig
  Fakultät für Mathematik und Informatik
  Institut für Informatik
  PF 100920
  D-04009 Leipzig

  
  

• Besucheradresse

  Universität Leipzig
  Institut für Informatik
  Neue Adresse!
  Johannisgasse 26
  Raum 4-43

  
  

• Telefon etc.

  Tel.: +49 (0) 341 97 32172 (Büro)
  Tel.: +49 (0) 341 97 32241 (Sekretariat, Frau A. Hesse)
  Fax: +49 (0) 341 97 32209 (Sekretariat)
  e-mail: mein nachname ( at ) informatik.uni-leipzig.de
  

  
  

15.07.2004