Prof. Doron Peled
Telephone
Email
doronp@cs.biu.ac.il
Office
building 503 room 123
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/2025
