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
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
- Published:
- Updated: