Chris Köcher (Preferred)
Chris Köcher
Postdoc, Models of Computation Group, MPI-SWS
Joined
May 2024
Names
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
PhD Advisor
Dietrich Kuske
2016 – 2022
Expertise
Automata theory
Present
Computability theory
Present
Formal verification
Present
Complexity theory
Present
Data structures
Present