Our paper "On the Hierarchy of Finite-Word Hyperlanguages" with Sarai Sheinvald got accepted for publication in FMCAD 2026,

and our paper "Sufficient Reasons and Contrastive Explanations for Reactive Systems" with Nadav Rutman Moshe got accepted for publication in ATVA 2026! 

I have open positions for final BSc. projects or student interns focused on software implementation at the intersection of causality, automata, and temporal logics.

To apply, please send me an email including your grades record and CV.

I am co-organizing the HYPER 2026 workshop - 5th Workshop on Hyperproperties: Advances in Theory and Applications. The workshop will take place on July 24, 2026, in Lisbon, co-located with FLoC 2026. See you there! 

I am looking for highly motivated students and postdocs!

If you are interested in formal verification, hyperproperties, causality, or automata learning, send me an email to: hadar.frenkel at biu.ac.il, including your CV

The BIU Formal Verification Seminar takes place during semseter time, every second week.

For more details, click here.