معرفی
Marius Greitschus is a Researcher at the University of Freiburg's Department of Computer Science. His work focuses on Abstract Interpretation, Static Checking, and Verification Techniques for Hybrid Systems. He earned his Master's degree from the University of Freiburg in 2012 with a thesis on combining Value Analysis and Static Checking for software verification.
Greitschus has published extensively in venues like SAS, TACAS, and HSCC, contributing to advancements in formal methods, program analysis, and hybrid systems verification. His research includes developing tools like the Ultimate Framework and has been recognized with a Best Paper Award at HVC 2014.
He teaches courses such as Automata Theory, Formal Methods for C, and Software Lab, and has supervised numerous student projects and theses. His advising spans topics from algorithm design to hybrid systems analysis, reflecting his commitment to both research and education.
Marius Greitschus در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMatthias HeizmannAlbert Ludwig University of Freiburg · استاد
Christian HerreraAlbert Ludwig University of Freiburg · مدرس- AAlexander NutzAlbert Ludwig University of Freiburg · پژوهشگر
Sergiy BogomolovAlbert Ludwig University of Freiburg · دانشیار- BBerit BrauerAlbert Ludwig University of Freiburg · مدرس
- JJochen HoenickeAlbert Ludwig University of Freiburg · پژوهشگر