Henning Urbat
پژوهشگر · Categorical Structures in Computer Science
University of Erlangen–NurembergGermany
معرفی
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.
۰مقاله منتشرشده
Henning Urbat در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Lutz SchröderUniversity of Erlangen–Nuremberg · استاد- SStefan MiliusMax Planck Institute for Software Systems · مدرس ارشد
- SStefan MiliusUniversity of Erlangen–Nuremberg · مدرس ارشد
- CClemens KupkeUniversity of Strathclyde · مدرس ارشد
Tamara UllmannUniversity of Erlangen–Nuremberg · پژوهشگر
Thomas CreutzigUniversity of Erlangen–Nuremberg · استاد