Hadar Frenkel | הדר פרנקל

Formal Verification, Hyperproperties, Causality, Automata Learning

I am a senior lecturer (assistant professor) at the Department of Computer Science and Artificial Intelligence at Bar Ilan University. Broadly, I am interested in automatically proving the correctness of programs, using mathematical tools such as logics and automata theory. Specifically, my main line of research is forming logical frameworks and verification methods for complex hyperproperties, such as common knowledge, security properties, and causality. I also love to play with automata, and I am particularly interested in automata learning and its applications in program verification and repair.

I joined BIU in September 2024. Before that, I was a postdoctoral researcher at CISPA Helmholtz Center for Information Security, hosted by Prof. Bernd Finkbeiner. I did my PhD at the Computer Science department at the Technion, Israel, advised by Prof. Orna Grumberg and Dr. Sarai Sheinvald.

Where to find me?

CS Building (503), room 318

hadar.frenkel at biu.ac.il