Tietotekniikan laitoksen diplomityöesitelmä
Natalia Gavrilenko will present her MSc thesis on Thursday 14 November at 16:30-17:00 in room A211, CS building
Milloin
–
Missä
room A211
Tapahtuman kieli
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
- Julkaistu:
- Päivitetty: