About
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.
0Publications listed
Find Jochen Hoenicke elsewhere
Related Searches
You Might Also Like
- AAlexander NutzAlbert Ludwig University of Freiburg · Researcher
- EEvren ErmisAlbert Ludwig University of Freiburg · Researcher
- EElisabeth HenkelAlbert Ludwig University of Freiburg · Researcher
- HHarald FecherAlbert Ludwig University of Freiburg · Researcher
- BBerit BrauerAlbert Ludwig University of Freiburg · Lecturer
- MMarlis JostAlbert Ludwig University of Freiburg · Lecturer