BME-MIT
Csanád Telbisz
PhD student
ORCID
Google ScholarE-mail address
csanadtelbisz
Office
IL405
Csanád Telbisz is a member of the Critical Systems Research Group.
!!! My email address: csanadtelbisz@edu.bme.hu (I cannot change the above email, and the department administration processes the update rather slowly) !!!
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.