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