BME-MIT

A kutatási területem magában foglalja a gráfgenerálást, logikai megoldókat, formális verifikációt, valamint ezen technikák alkalmazását a kritikus rendszerek biztonságának és helyességének biztosítására.

• 
  Kritikus rendszerek: Kiberfizikai rendszerek, különösen a vasúti, autóipari és űrhajózási területeken, ahol szigorú helyességi és megbízhatósági követelmények merülnek fel


• 
  Formális verifikáció: A kritikus rendszerek tervezésének és szoftverkomponenseinek biztonságának és megbízhatóságának matematikailag precíz bizonyítása


• 
  Automatizált érvelés: Logikai és numerikus megoldók integrálása intelligens heurisztikákkal, hogy választ lehessen adni kihívást jelentő elemzési kérdésekre és megbízható rendszerterveket lehessen szintetizálni


• 
  Gráfgenerálás: Hatékony gráfalapú információfeldolgozás rendszermodellezéshez, adatvezérelt rendszerek teszteléséhez és tudásreprezentációhoz autonóm rendszerekben