Hadar Frenkel

About Me

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

I am interested in automata-based approaches to formal verification, and in using formal methods to express and verify interesting (hyper)properties of reactive systems.

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.

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

Publications

authors appear in alphabetical order

[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).
[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.
[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).
[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

Program Committee Member at CAV 2022, ALT 2022.
Artifact Evaluation Committee Member at TACAS 2023.
Journal Reviewer at JMLR 2022, Acta Informatica 2021.
Sub-Reviewer at TACAS 2022, CSL 2022, TACAS 2021, ICALP 2021, CAV 2020, TACAS 2020, TACAS 2019, TACAS 2018, TACAS 2017, VMCAI 2017.

Awards

2021-2022 – Zuckerman-CHE (VATAT) Israeli Women Postdoctoral Scholar.
2021-2022 – 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

Peter Gastauer	TBD, Bachelor’s Thesis, ongoing (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).