Department of Computer Science: MSc Thesis Presentation
Natalia Gavrilenko will present her MSc thesis on Thursday 14 November at 16:30-17:00 in room A211, CS building
![MSc_thesis_CS](/sites/g/files/flghsv161/files/styles/o_300w_ah_n/public/2019-01/msc.png?itok=Sa25RM_8)
When
–
Where
room A211
Event language(s)
English
16:30 – 17:00
Natalia Gavrilenko
Topic / Aihe: "Improving Scalability of Bounded Model Checking for Weak Memory Models"
Supervisor / Valvoja: Senior University Lecturer Tommi Junttila
Instructor: / Ohjaaja: Prof. Keijo Heljanko