Skip to main content Skip to main Navigation

Secondary Menu

Bar-Ilan University

Department of Computer Science

Facebook
Linkedin
Instagram

חיפוש

Search

About
- A message from the department chair
- Location
Research
Labs
People
Potential Students
- Classes for Academic Year - 2024/25
B.Sc studies
M.Sc studies
PhD studies
Seminars
Events
Gallery

Contact Us

Formal Methods

Dr. Yoni Zohar
Dr. Hadar Frenkel
Prof. Doron Peled

Research Fields

The Formal Methods Group

Last Updated Date : 20/06/2024

Site Editors Login

All rights reserved: Department of Computer Science, Faculty of Exact Sciences | Bar-Ilan University Ramat-Gan, 5290002 Israel | Telephone: 972.3.5318866 | Contact Us

Development: Center of IT & IS BIU.

Accessibility Statement
Privacy Policy Terms of use

Want to learn more?

Call Contact Us Location