|
 |
Please note
I left my position at Goethe University in March 2015. This page is outdated. Current information can be found on my main page.
Research interests
Database Theory
Formal Language Theory (in particular pattern languages and related models, e.g., regular expressions with backreferencing)
Combinatorics on Words
CV
Diplom in Computer Science (March 2006) at the University of Kaiserslautern, followed by one year of studies at the 5th International PhD School in Formal Languages and Applications at URV Tarragona. Since March 2007 wissenschaftlicher Mitarbeiter and PhD student at the Goethe University (Frankfurt am Main); first at the research group Programming Languages and Compilers (Prof. Dr. Detlef Wotschke), since October 2009 at the research group Theory of complex systems (Prof. Dr. Nicole Schweikardt).
PhD in Computer Science (defended June 2011, summa cum laude, nominated for the GI-Dissertationspreis 2011).
Research stays at the MPI für Informatik, Algorithms and Complexity group (from July to September 2011), and at Loughborough University (December 2008, September 2009).
Publications
Ordered by years or
categories.Teaching
The following links are all in German.
Winter 2014/15
Sommer 2014
Previously
Downloads
You can find further downloads that are related to my work on a subpage.
Other
The German version of this page contains link to some popular science stuff I did (sadly, only in German).
last modified: Wed Jan 13 16:36:01 2016 by
Dominik D. Freydenberger
Sommer 2013
Bachelor-Seminar zu aktuellen Themen der Theoretischen Informatik (eigenverantwortlich, mit Lehrauftrag)
Winter 2012/2013Übungen zur Vorlesung Diskrete Modellierung
Winter 2011/2012Übungen zur Vorlesung Logik in der Informatik
Sommer 2010Übungen zur Vorlesung Logik und Datenbanken.
Winter 2009/2010Übungen zur Vorlesung Beschreibungskomplexität I.
Sommer 2009Seminar Neuere Modelle aus der Theorie der formalen Sprachen, Seminar Modelle aus der Theorie der formalen Sprachen.
Winter 2008/2009Übungen zur Vorlesung Formale Sprachen und Automatentheorie.
Sommer 2008Übungen zur Vorlesung Formale Sprachen und Berechenbarkeit, Proseminar Formale Sprachen und Modellierung.
Winter 2007/2008Übungen zur Vorlesung Beschreibungskomplexität I, Seminar Modelle aus der Theorie der formalen Sprachen.
vor Winter 2007/2008An der TU Kaiserslautern Übungsgruppen zu den Vorlesungen
Induktive Inferenz (WS 05/06), Grundlagen der Programmierung (SS 05), Entwurf und Analyse von Algorithmen (WS 04/05), Grundlagen der Programmierung (SS 04) (Preis der FS Informatik als bester HiWi in theoretischer Informatik), Entwicklung von Softwaresystemen II (SS 03), Entwicklung von Softwaresystemen I (WS 02/03), Entwicklung von Softwaresystemen II (SS 02), Entwicklung von Softwaresystemen I (WS 01/02).