News:

• Visit the webpage of my group!
• 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.
• Papers accepted at SOFSEM 2021 (preprint), ICALP 2020 - Track B (conference version), FORMALISE@ICSE 2020 (conference version), AST@ICSE 2020 (conference version), DLT 2020 (preprints available here and here).
• Program Committee member of CiE 2021, CPM 2021, CSL 2021.
• CiE 2021 will take place in Gent, Belgium, between July 5 and July 9, 2021.
• DFG funded grant on combinatorics of word morphisms.

Research:

• 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.

Currently teaching:

• 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.

Curriculum Vitae:

• 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.

      Complete Resume (including a list of obtained funding).




This page contained previously a series of blog posts, accessible via the Older Posts link below.