معرفی
Jochen Hoenicke is a researcher at the University of Freiburg's Department of Computer Science, focusing on program verification, invariant generation, and interpolation in SMT. His work spans sequential and concurrent programs, timed automata, and model-checking. He is affiliated with the university's software engineering and formal methods research groups.
His research interests include
- Program Verification
- Invariant Generation
- Interpolation in SMT
- Timed Automata
- Duration Calculus
- Model-Checking
He has contributed to projects like SmtInterpol, Ultimate, VerisoftXT, and AVACS, and has taught courses such as
- Cyber-Physical Systems
- Software Engineering
- Program Verification
- Automata Theory
- Decision Procedures
His publications highlight trends in formal verification, SMT solvers, and real-time systems analysis. He has served on the program committee of Boogie 2012 and is involved in software model checking and requirements analysis.
۰مقاله منتشرشده
Jochen Hoenicke در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAlexander NutzAlbert Ludwig University of Freiburg · پژوهشگر
- EEvren ErmisAlbert Ludwig University of Freiburg · پژوهشگر
- EElisabeth HenkelAlbert Ludwig University of Freiburg · پژوهشگر
- HHarald FecherAlbert Ludwig University of Freiburg · پژوهشگر
- BBerit BrauerAlbert Ludwig University of Freiburg · مدرس
- MMarlis JostAlbert Ludwig University of Freiburg · مدرس