Jump to navigation
About
News
UTCS Direct
Give
Search
x
About
News
UTCS Direct
Give
Research
+
–
Research Areas
Artificial Intelligence
Bioinformantics and Computational Biology
Computer Architecture
Data Mining, Machine Learning, and Natural Computation
Formal Methods
Graphics and Visualization
Model Driven Engineering
Operating Systems, Distributed Systems, and Networking
Programming Languages and Implementation
Scientific Computing
Security
Theoretical Computer Science
Texas Computing
Machine Learning Laboratory
Texas Robotics
Systems Research Consortium
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
(512) 471-8885
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
360 Connections
Student Organizations
Scholarships
Undergraduate Research
Internships and Jobs
Student Homepages
Study Abroad
Graduate
+
–
Degrees & Programs
Ph.D. Program
Master's Program
Online Master's Program -
Computer Science
Online Master's Program -
Data Science
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
GRACS
Research & Career Advice
Curricular Practical Training
Courses
Awards
Forms
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
