Tapahtumat

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
MSc_thesis_CS

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:
Jaa
URL kopioitu