Trustworthy Systems

Sai Divvela
Student Intern

Research Interests

Sai is interested in applying formal verification and designing programming languages and type systems to solve low-level systems problems.

Contact Details

Email:saidivvela2005@gmail.com

More contact information is available at the Contact page.

Photo of Sai Divvela