Master of Computer Science Thesis Defence

Weiyun Lu (Prof. Amy Felty)
Tuesday, 3 December 2019 - 9:00 am to 11:00 am
Location
Where: 
SITE, 800 King Edward Avenue (map)
Room number: 
1010
Contact information
Contact person: 
Philippe Jolette
Email: 
p.jolette@uOttawa.ca
Phone: 
613-562-5800
Extension: 
6137
Registration
Registration required: 
No
Cost to attend: 
Free of charge
  • This event is offered only in English.
Event type: 
Lectures & conferences, Lecture/talk, Meeting, Workshops & seminars, Academic, University events, Faculty & staff, Thesis defence, Communication
Event organizer: 
Faculty of Engineering, Engineering Faculty Professors, Engineering Graduate Students, Engineering Research, School of Electrical Engineering and Computer Science
Event language: 
English
Intended audience: 
Open to all, Students, Undergraduate students, Graduate students, Professors, Staff, Alumni, Public

Mr. Weiyun Lu defending his Master of Computer Science Thesis entitled Formally certified code obfuscation in the Coq Proof Assistant
Taking place: Tuesday December 3, 2019 from 9:00 until 11:00
Location: STE 1010
Thesis Supervisor:
Prof. Amy Felty
OCICS Examiners:
Prof. Guy-Vincent Jourdan
Prof. Luigi Logrippo
Defence Chairperson:
Prof. Liam Peyton