Sai Divvela - Formally Verified Nonsense

thedeveloper101.github.io

Personal homepage of Sai Divvela, an undergraduate at University of Maryland interested in programming languages, systems, and security. The site features publications, talks, a portfolio, blog posts, and a CV.

why we picked it

A personal academic site that collects publications, talks, and a portfolio in programming languages, systems, and security, offering a compact view of its author's ongoing work and interests.

Checked with Google Web Risk · 1 hour ago

Visit thedeveloper101.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: August 2026