Cezara Drăgoi

Registered user since Tue 8 Nov 2022

Name:Cezara Drăgoi
Affiliation:Inria / ENS / Informal Systems
Research interests:static analysis, decision procedures, data structures, distributed systems verification and design

Contributions

VMCAI 2023 Program Co-Chair in Organizing Committee within the VMCAI 2023-track
Committee Member in Program Committee within the VMCAI 2023-track
Show activities from other conferences

Using general profile