Susmit Sarkar

Thesis Title: A Practical Foundational Certified Code System
Degree Type: Ph.D. in Computer Science
Advisor(s): Karl Crary
Graduated: May 2009