William Young
Associate Professor of Instruction
Young's research is in formal methods and computer security.
Research
Research Interests:
- Computer security
- Formal methods
- Automated reasoning
Contact Info
William Young
Associate Professor of Instruction
(512) 471-9782
GDC 7.810