Chris Köcher

Postdoc, Models of Computation Group, MPI-SWS

  • Joined May 2024

Names

Chris Köcher (Preferred)

Emails

****@mpi-sws.org (Confirmed)

Personal Links

Career & Education History

Postdoc
Models of Computation Group, MPI-SWS (mpi-sws.org)
2023 – Present
 
PhD student
Computer Science and Automation, Technische Universität Ilmenau (tu-ilmenau.de)
2016 – 2022
 

Advisors, Relations & Conflicts

Postdoc Advisor
2023 – Present
 
PhD Advisor
Dietrich Kuske
2016 – 2022
 

Expertise

Automata theory
Present
 
Computability theory
Present
 
Formal verification
Present
 
Complexity theory
Present
 
Data structures
Present