BME-MIT
Telbisz Csanád
doktorandusz
ORCID
Google ScholarE-mail cím
telbisz
Iroda
IL405
Telbisz Csanád a Kritikus Rendszerek Kutatócsoport tagja. Doktori témavezetője Semeráth Oszkár.
Oktatási témájú levelezésre a következő email-cím használatát preferálom: csanadtelbisz@edu.bme.hu
Telbisz Csanád PhD hallgató a Budapesti Műszaki és Gazdaságtudományi Egyetemen, ahol Dr. Semeráth Oszkár témavezetésével modellellenőrzéssel és formális módszerekkel foglalkozik. Főként logikai és gráfmegoldók, valamint többszálú programok modellellenőrzése képezik kutatási témáját. A BME-n szerzett mérnökinformatikusi mesterdiplomát. Az IncQuery Labs – PTC-nél junior kutatóként dolgozott, ahol rendszertervezési koncepciókat alkalmazott ipari modellek validálásához. Így jól ismeri a SysML és a SysML v2 eszközkészletét és modellezési koncepcióit is. Kutatási eredményei között szerepelnek absztrakciós technikákról és a párhuzamos viselkedésről szóló publikációk vezető verifikációs fórumokon. Több díjat is elnyert, többek között a Nokia Young Scientist Award (2025) díjat, első díjat az Országos Tudományos Diákköri Konferencián (OTDK, 2025), valamint rektor különdíjas első helyet az intézményi TDK-n (2024). Több kutatói kiválósági ösztöndíjprogramban is részt vett, mint például az Egyetemi Kutatói Ösztöndíj Programban (MSc és PhD EKÖP-ök) és a Nemzeti Tehetség Programban (NTP-NFTÖ).
Telbisz Csanád PhD hallgató a Budapesti Műszaki és Gazdaságtudományi Egyetemen, ahol Dr. Semeráth Oszkár témavezetésével modellellenőrzéssel és formális módszerekkel foglalkozik. Főként logikai és gráfmegoldók, valamint többszálú programok modellellenőrzése képezik kutatási témáját. A BME-n szerzett mérnökinformatikusi mesterdiplomát. Az IncQuery Labs – PTC-nél junior kutatóként dolgozott, ahol rendszertervezési koncepciókat alkalmazott ipari modellek validálásához. Így jól ismeri a SysML és a SysML v2 eszközkészletét és modellezési koncepcióit is. Kutatási eredményei között szerepelnek absztrakciós technikákról és a párhuzamos viselkedésről szóló publikációk vezető verifikációs fórumokon. Több díjat is elnyert, többek között a Nokia Young Scientist Award (2025) díjat, első díjat az Országos Tudományos Diákköri Konferencián (OTDK, 2025), valamint rektor különdíjas első helyet az intézményi TDK-n (2024). Több kutatói kiválósági ösztöndíjprogramban is részt vett, mint például az Egyetemi Kutatói Ösztöndíj Programban (MSc és PhD EKÖP-ök) és a Nemzeti Tehetség Programban (NTP-NFTÖ).
Oktatott tárgyai
Ebben a félévben nem oktat egyetlen tárgyat sem.