Tapahtumat

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”

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äitöksen verkkosivu

Väittelijän yhteystiedot: Igor Buzhinskii, Aalto-yliopisto, sähkötekniikan ja automaation laitos,
[email protected]lto.fi
, +358449125387

  • Julkaistu:
  • Päivitetty:
Jaa
URL kopioitu