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]