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
Campus health and safety are our top priorities. Get the latest from UT on COVID-19. Get help with Instructional Continuity and working from home.
2317 Speedway, Stop D9500
Austin, TX 78712
Phone: 512.471.7316
© The University of Texas at Austin 2020