William D. (Bill) YoungSenior Lecturer and Research Scientist
Department of Computer Science
The University of Texas at Austin
2317 Speedway, Stop D9500
Austin, TX 78712-1757
Email: byoung AT cs.utexas.edu
Office: GDC 7.810
Research Interests: Computer security, formal methods, automated reasoning.
Publications and other information: resume
Fall Semester, 2014CS429: 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.
InfoSec Certification:InfoSec Certification
Querencia Talk:Querencia talk, 8/28/14