BME-MIT

For education-related topics, I prefer using the following email address: csanadtelbisz@edu.bme.hu

Csanád Telbisz is a computer scientist and PhD student at the Budapest University of Technology and Economics (BME), where he researches model checking and formal methods under the supervision of Dr. Oszkár Semeráth. He primarily does research on logic and graph solvers, and the model checking of multi-threaded software. He holds an MSc degree in Computer Engineering from BME. He has served as a junior researcher at IncQuery Labs – PTC, adapting systems engineering concepts to industrial model validation. Thus, he is also familiar with the toolset and modeling concepts of SysML and SysML v2. His research contributions include publications on abstraction techniques, and concurrency in leading verification venues. He has received multiple awards, including the Nokia Young Scientist Award (2025), first prize at the National Scientific Students’ Associations Conferences (2025) and the Rector's special award at the institutional Scientific Students' Associations Conferences (2024). He took part in several research excellence scholarship programs such as the New National Excellence Program (MSc and PhD EKÖPs) and the National Talent Program (NTP-NFTÖ).