William D. (Bill) Young

Senior Lecturer and Research Scientist

Picture of me Contact info:
Department of Computer Science
The University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712-1757

Email: byoung AT cs.utexas.edu
Phone: 512-471-9782
Office: GDC 7.810


Research Interests: Computer security, formal methods, automated reasoning.

Publications and other information: resume



Summer Semester, 2015

(First Half:) CS361 (Syllabus): Introduction to Computer Security, CLA 0.130, MTWTF 10-1130am

If you are considering taking a CS370 course with me, please take a look at this page: CS370 Syllabus. Unfortunately, I cannot accept any more CS370 students for the Summer. I am already over my limit.



Scholarships for Service Program:

UTCS has received a grant from the National Science Foundation (NSF) to begin a Scholarships for Service program. The Scholarships for Service (SFS) program provides extensive support (including tuition and fees and a stipend for living expenses) to students pursuing or interested in pursuing the INFOSEC Certificate in Information Security and who have a desire to work as an information assurance professional for a government agency.

Program Information




InfoSec Certification:

InfoSec Certification

Certification Talk