![]() |
Justus-Liebig-Universität Gießen Institut für Informatik Arndtstr. 2 35392 Gießen |
![]() |
Zimmer: 30 |
![]() |
+49 641 99 32157 |
![]() |
+49 641 99 32149 |
![]() |
I: Java: | Wintersemester 2013/2014, 2014/2015, 2015/2016, 2016/2017, 2017/2018, 2018/2019, 2019/2020 |
I: C++: | Sommersemester 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023; Wintersemester 2020/2021, 2021/2022, 2022/2023, 2023/2024 |
II: Java: | Wintersemester 2013/2014 |
II: C++, Prolog, Haskell: | Wintersemester 2014/2015, 2015/2016, 2016/2017, 2017/2018, 2018/2019, 2019/2020, 2020/2021, 2021/2022, 2022/2023, 2023/2024 |
I: | Wintersemester 2022/2023, 2023/2024 |
II: | Sommersemester 2023 |
NCMA | – | Non-Classical Models of Automata and Applications, Göttingen, August 2024 |
DLT | – | Developments in Language Theory, Göttingen, August 2024 |
NCMA | – | Non-Classical Models of Automata and Applications, Famagusta, Nordzypern, 18. bis 19. September 2023 |
AFL | – | Automata and Formal Languages, Eger, Ungarn, 5. bis 7. September 2023 |
DCFS | – | Descriptional Complexity of Formal Systems, Wien, Österreich, 24. bis 27. August 2020 |
NCMA | – | Non-Classical Models of Automata and Applications, Valencia, Spanien, 2. bis 3. Juli 2019 |
CAI | – | Algebraic Informatics, Niš, Serbien, 30. Juni bis 4. Juli 2019 |
NCMA | – | Non-Classical Models of Automata and Applications, Košice, Slowakei, 21. bis 22. August 2018 |
AFL | – | Automata and Formal Languages, Debrecen, Ungarn, 4. bis 6. September 2017 |
LATA | – | Languages and Automata Theory and Applications, Umeå, Schweden, 6. bis 10. März 2017 |
NCMA | – | Non-Classical Models of Automata and Applications, Debrecen, Ungarn, 29. bis 30. August 2016 |
DCFS | – | Descriptional Complexity of Formal Systems, Bucharest, Rumänien, 5. bis 8. Juli 2016 |
NCMA | – | Non-Classical Models of Automata and Applications, Kassel, 28. bis 29. Juli 2014 |
NCMA | – | Non-Classical Models of Automata and Applications, Umeå, Schweden, 13. bis 14. August 2013 |
DCFS | – | Descriptional Complexity of Formal Systems, London, Ontario, Kanada, 22. bis 25. Juli 2013 |
PPSN | – | Parallel Problem Solving From Nature, Taormina, Italien, 1. bis 5. September 2012 |
NCMA | – | Non-Classical Models of Automata and Applications, Fribourg, Schweiz, 23. bis 24. August 2012 (Co-Chair) |
DCFS | – | Descriptional Complexity of Formal Systems, Braga, Portugal, 23. bis 25. Juli 2012 |
NCMA | – | Non-Classical Models of Automata and Applications, Mailand, Italien, 18. bis 19. Juli 2011 |
DCFS | – | Descriptional Complexity of Formal Systems, Magdeburg, 6. bis 9. Juli 2009 |
LATA | – | Languages and Automata Theory and Applications, Mailand, Italien, 20. bis 24. September 2021 |
LATA | – | Languages and Automata Theory and Applications, geplant für Mailand, Italien, 4. bis 6. März 2020 |
LATA | – | Languages and Automata Theory and Applications, Saint Petersburg, Rußland, 26. bis 29. März 2019 |
TT | – | Theorietag, Bonn, 18. bis 22. September 2017 |
LATA | – | Languages and Automata Theory and Applications, Umeå, Schweden, 6. bis 10. März 2017 |
LATA | – | Languages and Automata Theory and Applications, Prag, Tschechische Republik, 14. bis 18. März 2016 |
LATA | – | Languages and Automata Theory and Applications, Nizza, Frankreich, 2. bis 6. März 2015 |
LATA | – | Languages and Automata Theory and Applications, Madrid, Spanien, 10. bis 14. März 2014 |
TPNC | – | Theory and Practice of Natural Computing, Cáceres, Spanien, 3. bis 5. Dezember 2013 |
SLSP | – | Statistical Language and Speech Processing, Tarragona, Spanien, 29. bis 31. Juli 2013 |
LATA | – | Languages and Automata Theory and Applications, Bilbao, Spanien, 2. bis 5. April 2013 |
TPNC | – | Theory and Practice of Natural Computing, Tarragona, Spanien, 2. bis 4. Oktober 2012 |
LATA | – | Languages and Automata Theory and Applications, A Coruña, Spanien, 5. bis 9. März 2012 |
TT | – | Theorietag, Allrode (Harz), 27. bis 29. September 2011 |
LATA | – | Languages and Automata Theory and Applications, Tarragona, Spanien, 26. bis 31. Mai 2011 |
LATA | – | Languages and Automata Theory and Applications, Trier, 24. bis 28. Mai 2010 |
DCFS | – | Descriptional Complexity of Formal Systems, Magdeburg, 6. bis 9. Juli 2009 |
LATA | – | Languages and Automata Theory and Applications, Tarragona, Spanien, 2. bis 8. April 2009 |
LATA | – | Languages and Automata Theory and Applications, Tarragona, Spanien, 13. bis 19. März 2008 |
LATA | – | Languages and Automata Theory and Applications, Tarragona, Spanien, 29. März bis 4. April 2007 |
MCU | – | Machines, Computations, and Universality |
Theorietag: | 2023, 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 1999 |
CIAA: | 2023 |
NCMA: | 2023, 2022, 2019, 2018, 2017, 2016, 2015, 2013, 2012, 2011, 2010, 2009 |
AFL: | 2023, 2011, 2008, 2005 |
DCFS: | 2023, 2022, 2017, 2012, 2011, 2010, 2009, 2008, 2007, 2006 |
MCU: | 2022, 2007 |
LATA: | 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007 |
SINOGFOS: | 2015 |
DLT: | 2010, 2006, 2004 |
1993 | Weizmann Institute of Science (Rehovot, Israel), International Science Summer Institute |
2006 – 2007 | Universitat Rovira i Virgili (Tarragona, Spanien), Forschungsgruppe für Mathematische Linguistik, |
mit einem Feodor-Lynen-Stipendium der Alexander-von-Humboldt-Stiftung |
1991 | Sonderpreis |
1992 | Bundessieg |
2000 – 2015 | Mitglied des Aufgabenausschusses |
1984 – 1993 | jährliche Teilnahme |
2005 – 2017 | Gutachter des Aufgabenausschusses |
1992 | Bundessieg beim Bundeswettbewerb Informatik |
1992 | Aufnahme in die Studienstiftung des deutschen Volkes |
2004 | Konferenzreise nach Neuseeland gefördert von der Deutschen Forschungsgemeinschaft |
2006 | Konferenzreise in die USA gefördert von der Deutschen Forschungsgemeinschaft |
2008 | Forschungspreis der Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg |
1992 – 1999 | Studienstiftung des deutschen Volkes |
1997 – 1998 | Deutscher Akademischer Austauschdienst |
1999 – 2001 | Forschungsstipendium des Landes Sachsen-Anhalt |
2006 – 2007 | Feodor-Lynen-Stipendium der Alexander-von-Humboldt-Stiftung |
seit 2009 | Leitungsmitglied der GI-Fachgruppe Automaten und Formale Sprachen (AFS) |
2018 – 2022 | Stellvertretender Sprecher der GI-FG AFS |
seit 2022 | Sprecher der GI-FG AFS |