William D. (Bill) Young
Contact info:Department of Computer Science
The University of Texas at Austin
1 University Station D9500
Austin, TX 78712 USA
Email: byoung AT cs.utexas.edu
Phone: 512-471-9782
Office: MAIN 2012
Research Interests: Computer security, formal methods, automated reasoning.
Publications and other information: resume
Please note: In early February, my office will be moving to GDC 7.810 (the new Gates Computer Science Building). I expect that the phone number will remain the same.
Spring Semester, 2013
CS378: Information Assurance and Security (Syllabus), MWF 9-10am, JGB 2.126.CS329E: Elements of Navigating Cyberspace (Syllabus), MWF 10-11am, MEZ B0.306.
Prof. Shmatikov, who usually teaches the following class in the Spring semester is not doing so. The following is a special section being offered only to graduating seniors who must have it at this time to complete their InfoSec certification. Prof. Shmatikov will offer it again Fall, 2013.
CS378: Network Security and Privacy
(Syllabus),
TT 2-3:30pm, PAR 201.
If you are considering taking a CS370 course with me, please take a
look at this page: CS370 Syllabus.
Certification Talk
UT InfoSec Certification Page