Prof. Doron Peled
Telephone
Email
doronp@cs.biu.ac.il
Office
building 216 room 226
Fields of Interest
Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages
Reception Hours
By appointment
Last Updated Date : 08/01/2024
