Marussy Kristóf

adjunktus
A munkatárs fényképe

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

Kutatás

Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  Scopus  ORCID  Google Scholar
© 2010-2025 BME MIT | Hibajelentés | Használati útmutató