Name:Sai Divvela

Bio:

I am an intern with the Trustworthy Systems group at University of New South Wales in Sydney, Australia and a rising senior at the University of Maryland. My research interests lie in the intersection of programming languages, formal methods, and systems.

Affiliation:University of Maryland, College Park, USA