Skip to main content
UMD Department of Computer Science
Toggle navigation
People
Faculty
Staff
Dept. Phonebook
University Directory Search
People Overview
Research
Research Areas
UMIACS
Research Projects
Research Overview
Education
Undergraduate
Graduate
Class Web Pages
Report a Concern or Incident
Graduate Certificate
Maryland Max Planck Ph.D. Program
Class Schedules
Academic Calendar
Scholarships
CS Education for Tomorrow
Education Overview
News & Events
News
Talks
Events Calendar
CS Video & Audio
iCal Feed
Newsletters
News & Events Overview
Community
Alumni
Clubs and Organizations
Industry Partners
Executive Council
Iribe Initiative for Diversity and Inclusion
Outreach Programs
Social Media
Community Overview
Diversity
Home
Current Student Support
Outreach
Sponsors
Resources
Reports & Action Plans
Connect With Us
Giving
Employment
About
Internal
Space Requests
Log In
David Darais
Graduation Year:
2017
Dissertation:
Mechanizing Abstract Interpretation
Advisor(s):
David Van Horn
