Dr. Cohen Liron

Dr. Cohen Liron Profile

Senior Lecturer

Room : 37/313
Phone :
Email : cliron@bgu.ac.il
Homepage : http://www.cs.bgu.ac.il/~cliron
Fax :
Box Number : 53
Office Hours : Monday 14.15-16.00
Research groups:
Computer Systems, Communication, and Software Engineering:Programming languages
Computer Systems, Communication, and Software Engineering:Software engineering and verification
Theory of Computer Science:Logic and Semantics
Theory of Computer Science:Theorem proving and type theory
Teaching (last two years):
Fall 2020: Introduction to Computer Science