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
2317 Speedway, Stop D9500
Austin, TX 78712
Phone: 512.471.7316
© The University of Texas at Austin 2019