Skip to main content Skip to main Navigation

Bar-Ilan University

Department of Computer Science and Artificial Intelligence

Facebook
Linkedin
Instagram

חיפוש

Search

About
- A message from the department chair
- Location
Research
Labs
People
Potential Students
- Classes for Academic
B.Sc studies
Computational AI
- On the Road to High-Tech? You Need to Study AI
M.Sc studies
PhD studies
- Detailed PhD Requirements
Seminars
News
- Studying Computer Science in the AI Era
Events
Gallery

Contact Us

Formal Methods

פרופ' Yoni Zohar
ד"ר Hadar Frenkel
פרופ' Doron Peled

Research Fields

The Formal Methods Group

Last Updated Date : 20/06/2024

Site Editors Login

All rights reserved: Department of Computer Science and Artificial Intelligence, 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

Call Contact Us Location