Dr. Hadar Frenkel
Email
Office
Building 503 room 318
Fields of Interest
Formal verification of software and hardware; verification for security, knowledge and causality; temporal logics & automata
Personal Website
Last Updated Date : 08/01/2025
