Willkommen auf der Homepage der Abteilung
Automaten und Sprachen

Aktuelles

Mitarbeiter:

    Leiter der Abteilung:
     Prof. Dr. Manfred Droste  Zi. A 422,  Tel. +49-341-97 32200  
    Sekretärin
     Andrea Hesse  Zi. A 420,  Tel. +49-341-97 32287,
          Fax: +49-341-97 32209
    Wissenschaftliche Mitarbeiter:
     Priv.-Doz. Dr. Claus Diem  Zi. A 506,  Tel. +49-341-97 32145  
     Dr. Doreen Götze  Zi. A 402,  Tel. +49-341-97 32204  
     Dr. Tobias Heindel  Zi. A 406,  Tel. +49-341-97 32212  
     Dr. Karin Quaas  Zi. A 418,  Tel. +49-341-97 32172  
     Sven Dziadek  Zi. A 416,  Tel. +49-341-97 32312  
     Gustav Grabolle  Zi. A 402,  Tel. +49-341-97 32345  
    GK-Stipendiaten:
     Stefan Dück  Zi. A 426,  Tel. +49-341-97 32202  
     Erik Paul  Zi. A 426,  Tel. +49-341-97 32294  
     Markus Ulbricht  Zi. A 416,  Tel. +49-341-97 32334  
 

Emeritus:

     Prof. Dr. Siegmar Gerber    Tel. +49-341-97 32213  
 

Drittmittelprojekte / current projects:

  • DFG-Graduiertenkolleg: Quantitative Logics and Automata
  • DFG (German Research Foundation): Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
  • DFG-Projekt: Verifikation von gewichteten Zeitautomaten (headed by Dr. Karin Quaas)
  • DFG-Projekt 2014/2015 zum Aufbau internationaler Kooperationen mit China
  • DFG-Projekt 2010/2011 und 2011/2012 zur Initiierung und Intensivierung binationaler Kooperation mit Thailand
  • DAAD-Leonhard-Euler-Projekt 2016/2017 “Dekodierungsalgorithmen, algebraische Geometrie und Computersicherheit”
  • DAAD-Leonhard-Euler-Projekt 2015/2016 “Dekodierungsalgorithmen, Computersicherheit, Numerische Methoden”
  • DAAD-Hungarian Projekt 2014/2015 “Theory and Applications of Automata”
  • DAAD-Leonhard-Euler-Projekt 2013/2014 “Algorithmen für Realzeitsysteme und in der Kryptographie”
  • DAAD-Leonhard-Euler-Projekt 2011/2012 “Algorithmen für Modelle in der Kodierungstheorie, Kryptographie und Robotik”
  • DAAD-Leonhard-Euler-Projekt 2010/2011 “Algorithmen für Modelle in der reinen und angewandten Mathematik”

Konferenzen / Conferences organized:

      CAI 2017 Conference on Algebraic Informatics  
      WATA 2016 Weighted Automata: Theory and Applications  
      New Pathways between Group Theory and Model Theory A conference in memory of Rüdiger Göbel (1940 – 2014)  
      GTG 2015 Groups and Topological Groups  
     AutoMathA 2015 Jewels of Automata: from Mathematics to Applications  
     WATA 2014 Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2014 Quantitative Models: Expressiveness, Analysis, and New Applications  
     GTG 2013 Groups and Topological Groups  
     WATA 2012 Weighted Automata: Theory and Applications  
     Groups and Model Theory Interaction between Group and Model Theory with emphasis Abelian Group Theory  
     WATA 2010 Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2010 Quantitative Models: Expressiveness and Analysis  
     ESF-Workshop Distance Automata and Generalisations  
     AAL09 Automata in Algorithmic Logic  
     DNTTT'08 Developments and new tracks in trace theory  
     GTG 2008 Groups and Topological Groups  
     WATA 2008 Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2007 Algorithmic-logical theory of infinite structures  
     Theorietag 2007 Tagung der GI-Fachgruppe "Automaten und Sprachen"  
     WATA 2006 Weighted Automata: Theory and Applications  
     GTG 2004 Groups and Topological Groups  

Adresse

Abteilung Automaten und Sprachen
Institut für Informatik
Universität Leipzig
Augustusplatz 10     [Neues Augusteum]
04109 Leipzig

 
 
 

Anfahrt zum IfI

Postanschrift

Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany