Skip to content (access key 's')
Logo of Technion
Logo of CS Department
General Information

News

Zuckerman Foundation Scholarship for Post-doctoral Students to Hadar Frenkel
Monday, June 28, 2021
Zuckerman Foundation Scholarship for Post-doctoral Students to Hadar Frenkel Hadar Frenkel, CS Ph.D. student towards graduating, has won a scholarship by the Zuckerman Foundation for Post-doctoral abroad awarded to outstanding students and scientists, and her research interests are Formal verification of systems over infinite values ​​- for example communication and information security protocols; Final modeling of systems over infinite value domains, and proposing efficient algorithms for validating and repairing such systems.

Congratulations to Hadar and good luck!
[Back to the news index]