William D. (Bill) Young

Senior Lecturer and Research Scientist

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


Fall Semester, 2014

CS429: Computer Organization and Architecture (Class webpage), TT 9-11am, GDC 2.216

CS361 (Class webpage): Introduction to Computer Security, GAR 0.102, MWF 2-3pm

If you are considering taking a CS370 course with me, please take a look at this page: CS370 Syllabus.



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

Querencia Talk:

Querencia talk, 8/28/14