Andreea Costea - SPLASH 2023 (original) (raw)

Name:Andreea Costea

Country:Singapore

Affiliation:National University of Singapore

Personal website: https://www.comp.nus.edu.sg/~andreeac/

Research interests:Programming Languages, Software Verification, Communication Protocols