Hadar Frenkel

About Me

I am a postdoctoral researcher at CISPA Helmholtz Center for Information Security.

My main line of research is forming logical frameworks and verification methods for complex hyperproperties, such as common knowledge, asynchronous hyperproperties, and causality. I also love to play with automata, and I am particularly interested in automata learning.

I joined the Reactive Systems Group in August 2021. Prior to that, I was a PhD student at the Computer Science department at the Technion, Israel, advised by Prof. Orna Grumberg and Dr. Sarai Sheinvald. My PhD thesis was about automata-theoretic approaches to the verification of systems with data.

Contact

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Saarland University Campus

Building: E 1.1, Room: 1.14

email:

hadar.frenkel at cispa.de

News!

December’23: The HYPER 2024 Workshop, which I am organizing together with Niklas Metzger and Hazem Torfah, will be held as part of CAV 2024. More details soon!
December’23: Our paper Monitoring Second-Order Hyperproperties has been accepted to AAMAS 2024!
October’23: I am the Publicity Co-Chair for CAV 2024. Follow @ConfCAV on X/Twitter!
October’23: I will serve as a PC member at CAV 2024!
August’23: I have been selected for the Women’s Postdoctoral Career Development Award in Science!
August’23: I will serve as a TPC member at DATE 2024, in the Formal Methods and Verification track!
July’23: The blog-post about our CAV 2023 paper Second-Order Hyperproperties is now online!
July’23: I will serve as the Co-Chair of the Artifact Evaluation Committee of TACAS 2024!
July’23: Our tool paper Checking and Sketching Causes on Temporal Sequences has been accepted to ATVA 2023!

Recent Talks

Below are my most recent and representative slides. Please check the publications list for previous presentations.

Second-Order Hyperproperties, presented at CAV 2023.
Why Do We Need Second-Order Logics? presented at the HYPER 2023 workshop.
Actual Causality in Reactive Systems, presented at the Verification Seminar, The Technion; Formal Methods Seminar, Ben Gurion University; PL & Systems Seminar, Tel Aviv University, February 2023.

Publications

Authors appear in alphabetical order. See also DBLP, Google Scholar.

[BFFM24]	Monitoring Second-Order Hyperproperties. Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024), to appear.
[BFFS23]	Checking and Sketching Causes on Temporal Sequences. Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Julian Siber. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[BFFM23]	Second-Order Hyperproperties (slides). Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 35th International Conference on Computer-Aided Verification (CAV 2023).
[FFHL23]	Automata-Based Software Model Checking of Hyperproperties. Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann and Janine Lohse. 15th NASA Formal Methods Symposium (NFM 2023).
[FFZ23]	Inferring Symbolic Automata (extended version). Dana Fisman, Hadar Frenkel and Sandra Zilles. Logical Methods in Computer Science (2023).
[CFFH+22]	Temporal Causality in Reactive Systems. Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber. 20th International Symposium on Automated Technology for Verification and Analysis (ATVA 2022).
[FS22]	Realizable and Context-Free Hyperlanguages (slides). Hadar Frenkel and Sarai Sheinvald. 13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022).
[CDFF+22]	Explaining Hyperproperty Violations. Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber. 34rd International Conference on Computer-Aided Verification (CAV 2022).
[FFZ22]	Inferring Symbolic Automata (slides). Dana Fisman, Hadar Frenkel and Sandra Zilles. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022).
[FGRS22]	Automated Program Repair Using Formal Verification Techniques. Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg and Sarai Sheinvald. Principles of Systems Design (2022).
[FGPS22]	Assume, Guarantee or Repair – a Regular Framework for non-Regular Properties. Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald. International Journal on Software Tools for Technology Transfer (2022). TACAS 2020 special issue.
[FGPS20]	Assume, Guarantee or Repair (slides). Hadar Frenkel, Orna Grumberg, Corina Pasareanu and Sarai Sheinvald. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020).
[FGS19]	An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. Hadar Frenkel, Orna Grumberg and Sarai Sheinvald. Journal of Automated Reasoning (2019). NFM 2017 special issue.
[FGS17]	An Automata-Theoretic Approach to Modeling Systems and Specifications Over Infinite Data (slides). Hadar Frenkel, Orna Grumberg and Sarai Sheinvald. 9th NASA Formal Methods Symposium (NFM 2017).
[frenkel21]	Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair (slides). Hadar Frenkel, PhD thesis.

Service

Workshop Organization and Co-Chair of HYPER 2024.
Artifact Evaluation Committee co-Chair of TACAS 2024.
Publicity co-Chair of CAV 2024.
Program Committee Member at CAV 2024, STACS 2024, DATE 2024, VMCAI 2024, CAV 2022, ALT 2022.
Artifact Evaluation Committee Member at TACAS 2023.
Journal Reviewer at Journal of Machine Learning Research (JMLR), Acta Informatica.
Sub-Reviewer at ATVA 2023, CONCUR 2023, TACAS 2023, TACAS 2022, CSL 2022, TACAS 2021, ICALP 2021, CAV 2020, TACAS 2020, TACAS 2019, TACAS 2018, TACAS 2017, VMCAI 2017.

Awards

2023-2025 – Women’s Postdoctoral Career Development Award in Science.
2021-2023 – Zuckerman-CHE (VATAT) Israeli Women Postdoctoral Scholar.
2021 – Israel National Postdoctoral Award for Advancing Women in Science (declined).
2019, 2020, 2021 – Hiroshi Fujiwara Cyber Security Center Scholarship, Technion.
2020 – Computer Science Excellence Scholarship, CS Department, Technion.
2018 – Mel Berlin Cyber Fellowship.
2018 – Excellence in teaching award, Technion.
2016 – The Apple Fellowship Fund.

Teaching

Winter 2022/23	Co-lecturer, Automata, Games and Verification, Reactive Systems Group.
Summer 2022	Co-lecturer, Proseminar From Program Verification to Synthesis, Reactive Systems Group.
Winter 2018/19 to spring 2021	TA & TA in charge, Introduction to Set Theory and Automata, CS department, Technion.
Spring 2016 to spring 2018	TA & TA in charge, Automata and Formal Languages, CS department, Technion.
Winter 2014/15 to winter 2015/16	TA, Database Management Systems, CS department, Technion.
Summer 2013	TA, Object Oriented Programming, Azrieli College of Engineering.
Spring 2013	TA, Database Theory, Azrieli College of Engineering.
Winter 2012/13	TA, C++ Programming, Azrieli College of Engineering.

Advising

Tim Rohde	Complexity of Model-Checking Second-Order Hyperproperties on Finite Structures, Bachelor’s Thesis, 2023 (co-advised by Bernd Finkbeiner).
Peter Gastauer	Structured Program Synthesis from TSL Specifications, Bachelor’s Thesis, 2023 (co-advised by Noemi Passing).
Janine Lohse	Model Checking Temporal Stream Logic and Hyper-Temporal Stream Logic, Bachelor’s Thesis, 2022 (co-advised by Jana Hofmann).