FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
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
Personal website:
Research interests:Formal Verification, Weak Memory Models, Systems Engineering


FormaliSE 2023 Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
Show activities from other conferences

Using general profile