BME-MIT

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.