English
Magyar
Hajdu Ákos
doktorandusz
Elérhetőségek
Szoba:
IB414
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Személyes honlap:
http://home.mit.bme.hu/~hajdua/ Kutatás
Doktori téma:
Ellenpélda-alapú absztrakció finomítás alkalmazása a modellellenőrzésben
Kutatócsoport:
Kritikus Rendszerek Kutatócsoport 
