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.