My name is Florian Chudigiewitsch and I’m currently a doctoral student in theoretical computer science under the supervision of Professor Tantau at the University of Lübeck. 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. As applications I am interested in quantum computing and programming languages.
Besides my research interests in theoretical computer science, I am also 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