معرفی
Prof. Dr. rer. nat. habil. Michael Luttenberger is a faculty member at the Department of Informatics, Technical University of Munich. His academic focus lies in theoretical computer science, particularly in formal methods, automata theory, and logic.
He has been actively involved in teaching courses such as
- Automata and Formal Languages
- Introduction to Theoretical Computer Science
- Model Checking
- Petri Nets
- Quantitative Verification
- Games on Graphs
His research is associated with tools like Owl, Peregrine, Rabinizer, SeQuaiA, and Strix, which are designed for automata theory and formal verification. He contributes to projects such as PaVeS (Parameterized Verification) and ConVeY (Concurrent Verification).
۰مقاله منتشرشده
Michael Luttenberger در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- CClaudia LinkTechnical University of Munich · مدرس
- FFrancisco Javier Esparza EstaunTechnical University of Munich · استاد
- PPascal EsserTechnical University of Munich · پژوهشگر
- JJavier EsparzaTechnical University of Munich · استاد
Jan KretinskyTechnical University of Munich · استاد
Chana Weil-KennedyIMDEA Software Institute · پژوهشگر