Florian Chudigiewitsch

Doctoral Student in Theoretical Computer Science

University of Lübeck

Hey!

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, music, linguistics, history, and philosophy.

You can download my CV here.

Interests

Theory of Computation and Proof Theory
(Non-classical) Logic
Computational Complexity
Quantum Computing
Type Theory and Programming Languages

Education

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

Experience

Research Associate

University of Lübeck

Nov 2021 – Present Lübeck

We’ll see.

Scientific Assistant

Leibniz University Hannover

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)