Levente Bajczi

Registered user since Mon 13 Jun 2022

Name:Levente Bajczi

I am a PhD student at the Budapest University of Technology and Economics, where I research Computer Science. I primarily do research on the formal verification of multi-threaded software running on weakly consistent multi-core architectures. Furthermore, I am familiar with the toolset of SysML and SysML v2, which I actively use as part of my employment as a research assistant.

Affiliation:Budapest University of Technology and Economics
Research interests:Formal Verification, Weak Memory Models, Systems Engineering