Micskei Zoltán

egyetemi docens, PhD Kritikus Rendszerek Kutatócsoport (csoportvezető) Méréstechnika és Információs Rendszerek Tanszék (tanszékvezető helyettes) Villamosmérnöki és Informatikai Kar Budapesti Műszaki és Gazdaságtudományi Egyetem Cím: H-1117 Budapest, Magyar tudósok körútja 2., I épület, B.419. szoba Telefon: + 36 1 463-3594 E-mail: micskei.zoltan AT vik.bme.hu

Rövid CV: Micskei Zoltán a Budapesti Műszaki és Gazdaságtudományi Egyetemen szerzett műszaki informatikusi oklevelet 2005-ben, majd 2013-ban PhD doktori fokozatot. Jelenleg egyetemi docens a Műegyetemen, a Méréstechnika és Információs Rendszerek Tanszék tanszékvezető helyettese, a Kritikus Rendszerek Kutatócsoport vezetője. Fő kutatási területe a szoftvertesztelés és a kritikus informatikai rendszerek ellenőrzése. Műegyetemi témavezetője a H2020 ADVANCE és az ITEA3 EMBrACE nemzetközi projekteknek, társvezetője az NKFIH Biztonságtudományi és Technológiai Kompetencia Központ projekt egyik főirányának, valamint számos ipari együttműködés vezetője. A DISC’19 konferencia társelnöke volt 2019-ben. Rendszeres tagja nemzetközi konferenciák programbizottságának és külső bírálója folyóiratoknak. A toulouse-i LAAS-CNRS kutatóintézetben volt vendégkutató. Az Association for Computing Machinery (ACM) szervezet Senior Member szintű tagja. Egyik cikke elnyerte a SoSyM folyóirat 10-Year Most Influential Regular Paper díját (2021). A Neumann János Számítógép-tudományi Társaság (NJSZT) Kalmár-díjban részesítette (2021). A BME VIK hallgatói a Kar Kiváló Fiatal Oktatójának választották (2016).

Kutatási területek

Fő kutatási területem a szoftvertesztelés, azon belül is a modell- és kódalapú tesztgenerálás. Célom, hogy kutatásaim során innovatív, a gyakorlatban is használható eszközöket és módszereket dolgozzak ki. Előnyben részesítem az empirikus kutatási módszereket és az "open science" elveket.

• Tesztgenerálás: modell alapján vagy kód alapján
• Tesztorákulumok: orákulumok generált struktúra alapú tesztekhez [SQJ'19]
• Hallgatóimmal együtt kifejlesztett eszközök
• • AutoIsolator: modul függőségek automatikus izolációja tesztgenerálás során [IST'20]
  • SETTE: tesztbemenet-generáló eszközöket kiértékelő és összehasonlító keretrendszer [STVR'17, ICST'15]
  • SEViz: szimbolikus végrehajtást vizualizáló eszköz [ICST'15 Tool]

Korábban:

• HA köztesrétegek robusztusság tesztelése
• Forgatókönyv-leíró nyelvek: UML 2 szekvencia diagramok [SoSyM], a TERMOS nyelv

Díjak

• Most Influential Regular Paper díj, SoSyM folyóirat (2021)
• Kalmár-díj, Neumann János Számítógép-tudományi Társaság [NJSZT] (2021)
• Senior Member, ACM (2021)

Tudományos tevékenység

• General co-chair DISC 2019
• Panel co-char: HASE 2016
• Publicity chair: SERENE 2014

• HASE (2016, 2019), ER (2017, 2018), SAM (2018), LADC (LADC 2018), EXE (2015, 2016, 2017, 2018), SDL (2017), UCAAT (2016), EDCC (2016), ICTSS (2012, 2013, 2014, 2016), WoSoCer (WoSoCer 2014)

• Nemzetközi folyóiratoknál (SoSyM, JSS, RESS, T-Rel, SQJ) és konferenciákon (ASE, FASE, PDS, DADS, ETS...)

• Szakkonferenciák (HUSTEF, UCAAT, Szoftvertesztelés, Test&Tea), lásd itt

Projektek

Nemzetközi K+F projektvezetés:

• EMBrACE - Environment for model-based rigorous adaptive co-design and operation of CPS (2020-2022)
• ADVANCE - Addressing Verification and Validation Challanges in Future Cyber-Physical Systems (2019-2022)
• Arrowhead Tools - European investment for Digitalisation and Automation Leadership (2019-2022)

• thyssenkrupp: Autóipari rendszerek és kódok tesztelése (2017-)
• IncQuery Labs + NASA JPL: Model checking as a service (2019-)
• Ericsson: Komplex rendszerek verifikálása (2014-2015)
• Nokia: HA köztesrétegek robusztusság tesztelése (2005-2006)

Nemzetközi K+F projekt résztvétel:

• R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (2014-2017)
• R3-COP - Resilient Reasoning Robotic Co-operating Systems (2010-2013)
• SecureChange - Security Engineering for lifelong Evolvable Systems (2009-2010)
• Hidenets - HIghly DEpendable ip-based NETworks and Services (2005-2008)
• ReSIST - Resilience for Survivability in IST (2005-2008)

Oktatás

Több mint tizenöt éve veszek részt a BME oktatási tevékenységében, először gyakorlat- és laborvezetőként, majd később előadóként és tárgyfelelősként.

• Elismerések: Kar Kiváló Fiatal Oktatója (2016), Dékáni dícséret (kiváló oktatási munkáért, 2014), MIT tanszék kiváló fiatal oktatója (2011, 2012)
• Tárgyak: szoftvertesztelés, rendszertervezés, lásd az oktatás menüpont alatt