Florian Chudigiewitsch

Florian Chudigiewitsch

Doctoral Student in Theoretical Computer Science

University of Lübeck


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.

  • Finite Model Theory
  • Parameterized Complexity Theory
  • (Non-classical) Logic
  • 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


Research Associate
Nov 2021 – Present Lübeck
We’ll see.
Scientific Assistant
Mar 2017 – Sep 2021 Hannover

As a scientific assitant, I worked in various institues in research and teaching. Here is an overview:

Institute for Microelectronic Systems

  • C++ Programmer for the RESRI-Workgroup (03.2017 - 12.2017)
  • Exercise management for the course “Physics for Industrial Engineers” (summer semester 2018 and 2019)

Institute for Theoretical Computer Science

  • Tutor for the course “Foundations of Theoretical Computer Science” (winter semester 2017/2018, 2018/2019)
  • Tutor for the course “Logic and Formal Systems” (summer semester 2018)
  • Tutor for the course “Complexity of Algorithms” (summer semester 2019, 2020)

Institute for Systems Engineering

  • Tutor and exercise management for the course “Programming II” (summer semester 2017, 2018)
  • Programmer and Software Engineer for the project “DSSARTH” (summer semester 2018)

Institute for Human Computer Interaction

  • Tutor for the course “Programming I” (winter semester 2017/2018)


Website is up
This is a test post for my website. Others may (or may not) follow.

Wordcloud by marwahaha


  • hi@florian.website