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

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: