Marussy Kristóf
adjunktus

Elérhetőségek
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB417
Tel.:
+36 1 463-3586
Fax:
+36 1 463-4112
Email:
marussy (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~marussy/ Bevezetés
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
Oktatás
Tanszékünkön oktatott tantárgyai:
- Automatizált szoftverfejlesztés laboratórium (VIMIAC21)
- Kritikus rendszerek laboratórium (VIMIMB11)