Jump to navigation
About
News
UTCS Direct
Give
Search
Research
Areas
Research Seminars
UT Research Links
Publications
People
Faculty & Researchers
Staff
Offices
Awards & Honors
Research Awards
Service Awards
Teaching Awards
Graduate Student Awards
Undergraduate
Admissions
Prospective Students
Internal Transfers
Turing Scholars Honors Program
Academics
Advising
Orientation
Forms
Preparing for Graduate School
Concentrations
Big Data Concentration
Computer Systems
Cybersecurity
Game Development
Machine Learning & Artificial Intelligence
Mobile Computing
Curriculum & Degree Plans
Entry-Level
Courses
Degree Plans
Teaching Plans
Integrated 5-year BS/MS programs
Class Homepages
Longhorn Startup
Elements of Computing
Honors Programs
Scholarship for Service
FAQ
Student Support
360 Connections
Student organizations
Scholarships
Undergraduate Research
Internships and Jobs
Student Homepages
Study Abroad
Student Blog
Project Giving Tree
Graduate
Prospective Students
Apply
Admissions FAQ
Contact Us
Master's Program
Coursework Option
Thesis Option
Online Options
Computer Science
Data Science
Ph.D. Program
Ph.D. steps to degree
Degree Requirements
Proposing & Advancing to Candidacy
Final Defense
Ph.D. Commencement
Courses
Course Schedules
Diversity Courses
Teaching Plans
Class Homepages
Financial Information
Incoming Students
Current Students
Portfolio Program in Robotics
Research & Career Advice
GRACS
Student Homepages
Portfolio Program in Robotics
Curricular Practical Training
Forms
Grad Student Talks
Outreach
Summer Academies
Coding in the Classroom
Industry
Friends of Computer Science
FoCS Partners
Program Features
How To Participate
Event Request Form
Diversity @ UT Computer Science
Robotics Consortium
Systems Research Consortium
Alumni
Get Involved
Events
Support UTCS
Why to Give
How to Give
Advisory Council
You are here
Home
Faculty & Researchers
Staff
Offices
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
Homepage
(512) 471-9782
byoung@cs.utexas.edu
GDC 7.810
CV
