Dr. Hadar Frenkel

Email
hadar.frenkel@biu.ac.il
Fields of Interest

 

Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata

    Last Updated Date : 04/07/2024