VMware Academic Program

Projects
Team
Announcements
Publications
About Us
Directions
Recruiting

Tej Chajed

Affiliated Researcher

Madison, WI, USA

Projects

Verus

Publications

Beyond Isolation: OS Verification as a Foundation for Correct Applications