Jump to navigation
About
News
UTCS Direct
Give
Search
x
About
News
UTCS Direct
Give
Research
+
–
Research Areas
Artificial Intelligence
Bioinformatics and Computational Biology
Computer Architecture
Computer Vision
Databases
Formal Methods
Graphics and Visualization
Human-Computer Interaction
Intelligent Robotics
Machine Learning
Natural Language Processing
Parallel Computing
Programming Languages & Compilers
Scientific Computing
Security & Privacy
Systems & Networking
Theoretical Computer Science
Machine Learning Laboratory
Texas Robotics
Corporate Collaboration
Publications
Research Seminars
People
+
–
People
Faculty & Researchers
Staff
Offices
Department of Computer Science
The University of Texas at Austin
2317 Speedway, GDC 2.302
Austin, Texas 78712
Internal Mail Code: D9500
(512) 471-7316
Awards
+
–
What Starts Here
Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make it evident that our faculty and students are world-class.
Awards
Research Awards
Service Awards
Teaching Awards
Graduate Student Awards
Awards News
Undergraduate
+
–
Admissions
Prospective Students
Internal Transfers
Turing Scholars Honors Program
Texas Honors Computer Science & Business
Academics
Advising
Concentrations
Curriculum & Degree Plans
Longhorn Startup
Elements of Computing
Honors Programs
FAQ
Student Support
First-Year Connections
Student Organizations
Scholarships
Undergraduate Research
Internships and Jobs
Student Homepages
Study Abroad
Graduate
+
–
On-Campus Programs & Degrees
Ph.D. Program
Master's Programs
Thesis-Based Degree
Course-Based Degree
Integrated 5-Year
BS/MS Programs
Portfolio Program
in Robotics
Admissions &
Incoming Students
Prospective Students
New Students
Financial Information
Current Students
Student Homepages
Graduate Student Talks
Student Organizations
Research & Career Advice
Curricular Practical Training
Courses
Forms
Online Programs & Degrees
Master's Degrees
Artificial Intelligence
Computer Science
Data Science
Student Experience
Apply
FAQ
Learn more about Computer & Data Science Online (CDSO)
Engage
+
–
Industry
Recruit
Collaborate
Alumni
Connect
Get Involved
Outreach
Summer Academies
K-12 Outreach
Advisory Council
Giving
Make a Gift
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
