Cezara Drăgoi

Registered user since Tue 8 Nov 2022

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

Contributions

SOAP 2023 Committee Member in Program Committee within the SOAP 2023-track
Show activities from other conferences

Using general profile