Personal tools
  •  

Formal Verification

18/01/2018 07:46:44, theon, Refresh, Feedback

Course Details

TitleFormal Verification
School AcronymFV
Level11
Points10
Normal Year Taken4
Delivery PeriodS2
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/fv
University Course PageINFR11129

Staff and Groups

The following staff are associated with this course. Please use the authenticated links below to access full group membership information, including group times, venue information and mailing lists:
Laboratory Groups

Course Lecturer(s)
NameEmailOfficePhone
J Fleuriot jdf@staffmail.ed.ac.uk IF-2.15 509342
P Jackson Paul.Jackson@ed.ac.uk IF-2.12 505131
Teaching Support
Demonstrator J Palmer
Teaching Assistant J Palmer
Admin Support
Please use the ISS Contact Form to contact admin support
NONE ALLOCATED