William D Young
Job Title
Research Interests
Automated reasoning, Computer security, Program verification, Social issues in computing
Student Programs and Populations
Research Units
Affiliated Departments