Elisabeth Henkel

Elisabeth Henkel is a Researcher at the University of Freiburg's Department of Computer Science, within the Faculty of Engineering. Her research focuses on formal methods, SMT solving, and requirements engineering. She has contributed to tools like Hanfor and SMTInterpol, addressing challenges in automated reasoning and scalable requirements analysis.

Teaching responsibilities include co-organizing Software Engineering (summer semesters 2022–2023) and Cyber-Physical Systems: Discrete Models (winter 2022/23). She also supervises Bachelor's projects in Automatentheorie and Programmanalyse. Her work bridges theoretical foundations (e.g., Craig interpolation) with practical applications in software verification and user-centric formal specifications.

Publications emphasize empirical studies of formal pattern languages and interpolation techniques for SMT solvers. She actively contributes to the academic community through tool development and peer-reviewed research, though no awards are explicitly listed in the provided texts.