You are here: Home Team Elisabeth Henkel

Elisabeth Henkel


Research Interests

Craig interpolation, SMT Solving, Requirements



  • Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality, in SMT 2021, together with Jochen Hoenicke and Tanja Schindler.
  • Hanfor: Semantic Requirements Review at Scale, in REFSQ Workshops 2021, together with Samuel Becker, Daniel Dietsch, Nico Hauff, Vincent Langenfeld, Andreas Podelski and Bernd Westphal.


Consultation Hours

Please write me an e-mail to make an appointment.