William D Young
Research Interests

Automated reasoning, Computer security, Program verification, Social issues in computing

Affiliated Departments