Mr. Michael Bar-sinai

barsinam foto Ph.D

Contacts

Email:
Homepage:
Office: -113 in 37 building
Phone number: 08-6472181
Fax number: 08-6477650
Box number: 86
Office hours: Tue 14:00-16:00

Teaching

Fall 2017-2018 20213061 Introduction to FORMAl Verification Methods
Fall 2016-2017 20213061 Introduction to FORMAl Verification Methods
Spring 2017 20212091 Computer Architecture and System Programming Laboratory
Fall 2015-2016 20214531 Topics in DataTags
Fall 2015-2016 20213061 Introduction to FORMAl Verification Methods
Spring 2016 20212071 System Programming Laboratory
Spring 2016 20212091 Computer Architecture and System Programming Laboratory
Spring 2016 20215141 Workshop on Software Engineering Project
Spring 2015 20212051 Principles of Programming Languages
Summer 2015 20213061 Introduction to FORMAl Verification Methods