![Cezara Drăgoi](https://conf.researchr.org/getProfileImage/cezaradragoi/e9b361f7-7635-4ff7-a835-9e04e00080ad/small.jpg?1711483270000)
Registered user since Tue 8 Nov 2022
Name:Cezara Drăgoi
Affiliation:Inria / ENS / Informal Systems
Personal website: http://www.di.ens.fr/~cezarad/
Research interests:static analysis, decision procedures, data structures, distributed systems verification and design
Contributions
2021
SPLASH 2021-profile
View general profile
View general profile