Florian Chudigiewitsch

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
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)

Posts

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

Wordcloud by marwahaha

Contact

  • hi (at) this url