Registered user since Thu 8 Aug 2019

Name: Andreea Costea

Country: Singapore

Affiliation: School of Computing, National University Of Singapore

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

Research interests: Programming Languages, Software Verification, Communication Protocols

Contributions