BME-MIT
Csanád Telbisz
PhD student
ORCID
Google ScholarE-mail address
telbisz
Office
IL405
Csanád Telbisz is a member of the Critical Systems Research Group.
For education-related topics, I prefer using the following email address: csanadtelbisz@edu.bme.hu
I am a PhD student at the Budapest University of Technology and Economics where my research field is Computer Science. I primarily do research on the model checking of multi-threaded software, and logic solvers. Furthermore, I am familiar with the toolset of SysML and SysML v2: technologies that I used in my industrial research projects.
I am a PhD student at the Budapest University of Technology and Economics where my research field is Computer Science. I primarily do research on the model checking of multi-threaded software, and logic solvers. Furthermore, I am familiar with the toolset of SysML and SysML v2: technologies that I used in my industrial research projects.