My name is Florian Chudigiewitsch and I’m currently a doctoral student in theoretical computer science at the Institute of Theoretical Computer Science of the University of Lübeck, where I have the fortune of having Professor Till Tantau as an advisor. Before that, I received my BSc and MSc in computer science from Leibniz University Hannover.
I’m mainly interested in the interplay of logic and computation, which can be viewed from a variety of angles in theoretical computer science: from descriptive complexity over proof theory to type theory. My main focus of study at the moment is the expressive power of various logic fragments in the setting of parameterized complexity.
As for theoretical computer science, I am also interested in quantum computing, theorem proving, type theory, and programming languages. Besides my research interests in theoretical computer science, I am interested in mathematics, physics, and music.
You can download my CV here.
Doctoral Student in Theoretical Computer Science, 2021 - present
University of Lübeck
MSc in Computer Science, 2018 - 2021
Leibniz University Hannover
Exchange Semester in Logic and Computation, 2020/2021
Technische Universität Wien
BSc in Computer Science, 2015 - 2018
Leibniz University Hannover
As a scientific assitant, I worked in various institues in research and teaching. Here is an overview:
Wordcloud by marwahaha