Väitös automaation, systeemien ja säätötekniikan alalta, M.Sc.(Tech.) Igor Buzhinskii
Väitöksen nimi on “Combined use of formal methods for reliability assurance of software for safety –critical systems”
Milloin
–
Missä
Tapahtuman kieli
englanti
Vastaväittäjänä toimii professori Jean-Jacques Lesage, ENS Paris-Saclay, Ranska
Kustoksena on professori Valeriy Vyatkin, Aalto-yliopiston sähkötekniikan korkeakoulusta, sähkötekniikan ja automaation laitokselta.
Väittelijän yhteystiedot: Igor Buzhinskii, Aalto-yliopisto, sähkötekniikan ja automaation laitos,
[email protected], +358449125387