Darvas Dániel
doktorandusz
Elérhetőségek
Szoba:
IB 414
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB 414
Személyes honlap:
http://home.mit.bme.hu/~darvas/ Kutatás
Doktori téma:
Követelmények formalizálása és verifikációja biztonságkritikus rendszerekben
Kutatócsoport:
Kritikus Rendszerek Kutatócsoport