Registered user since Sat 28 Aug 2021
Name:Claudia Cauli
Bio:
Applied Scientist @ Amazon Web Services
Country:Sweden
Affiliation:Amazon Web Services
Personal website: https://www.claudiacauli.com
X (Twitter): https://x.com/cclaudiacauli
GitHub: https://github.com/claudiacauli
Research interests:Formal Methods, Logics, Security
Contributions
POPL 2022-profile
View general profile
View general profile