News:
This page contained previously a series of blog posts, accessible via the Older Posts link below.
- Visit the webpage of my group!
- I was awarded the Lehrpreis 2020 (Teaching Award) by the CS-students from Göttingen!
- Papers accepted at STACS 2021 (slightly outdated preprints available here and here) and SOFSEM 2021 (see the preprint). Other recent papers: ICALP 2020 - Track B (conference version), FORMALISE@ICSE 2020 (conference version), AST@ICSE 2020 (conference version), DLT 2020 (preprints available here and here).
- Our presentation got the Best Presentation Award at FormaliSE@ICSE 2020.
- Our paper got a Special Recognition Award at AST@ICSE 2020.
- Our papers from ICALP 2020 - Track B (see here) and AST@ICSE 2020 (see here) were invited to the journal special issues dedicated to the respective conferences.
- I was invited speaker at the 5th Logic Mentoring Workshop, LMW 2020. Video and slides.
- I was invited speaker at WORDS 2019. This is a link to the paper on which my talk was based: Matching Patterns with Variables.
- Program Committee member of CiE 2021, CPM 2021, CSL 2021, WORDS 2021.
- CiE 2021 will take place in Gent, Belgium, between July 5 and July 9, 2021.
- DFG funded grant on combinatorics of word morphisms.
- Interests: String Algorithms and Combinatorics, Efficient Algorithms and Data Structures, Automata Theory and Formal Languages, Computability and Complexity Theory, Logic in Computer Science.
- An updated list of publications is available at this link: Papers. I also maintain a list of my co-authors.
- An offline list of my publications split on categories (journals, conferences, etc.) is available at this link: List of Publications.
- An offline list of my talks is available at this link: List of Talks.
- An updated account of my scientific service is available at this link: Service.
- Algorithms on Strings - BSc/MSc lecture, University of Göttingen, Winter Semester 2020/2021.
- Informatik III - BSc lecture, University of Göttingen, Winter Semester 2020/2021.
- Advanced Topics on Algorithms - BSc/MSc lecture, University of Göttingen, Summer Semester 2020.
- Informatik I - BSc lecture, University of Göttingen, Summer Semester 2020.
- University of Göttingen, starting October 2019: W2-Professor for Fundamentals of Computer Science.
- Kiel University, 2011 - present: Researcher, DFG funded.
- University of Magdeburg, 2009 - 2011: Alexander von Humboldt fellow.
- University of Bucharest, 2004 - 2009: Faculty member; PhD in December 2007.
This page contained previously a series of blog posts, accessible via the Older Posts link below.