ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Levente Bajczi

Registered user since Mon 13 Jun 2022

Name:Levente Bajczi
Bio:

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.

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

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile