Henning Urbat
Researcher · Categorical Structures in Computer Science
University of Erlangen–NurembergGermany
About
Dr. Henning Urbat is a postdoctoral researcher at the Theoretical Computer Science group of Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). His work focuses on categorical structures in computer science, particularly in algebraic and coalgebraic automata theory, logic, verification, and semantics of programming languages. His position is funded by the DFG project Categorical Theory of Automata, where he serves as Principal Investigator.
0Publications listed
Find Henning Urbat elsewhere
Related Searches
You Might Also Like
Lutz SchröderUniversity of Erlangen–Nuremberg · Professor- SStefan MiliusMax Planck Institute for Software Systems · Senior Lecturer
- SStefan MiliusUniversity of Erlangen–Nuremberg · Senior Lecturer
- CClemens KupkeUniversity of Strathclyde · Senior Lecturer
Tamara UllmannUniversity of Erlangen–Nuremberg · Researcher
Thomas CreutzigUniversity of Erlangen–Nuremberg · Professor