Background
Young, William David was born on November 22, 1953 in Albuquerque. Son of Youree Harold and Alma Catherine (Callahan) Young.
Young, William David was born on November 22, 1953 in Albuquerque. Son of Youree Harold and Alma Catherine (Callahan) Young.
Bachelor of Science in Mathematics with honors, University Texas, 1975. Bachelor in Philosophy with high honors, University Texas, 1976. Master of Arts in Philosophy, University Texas, 1976.
Master of Arts in Computer Science, University Texas, 1980. Doctor of Philosophy in Computer Science, University Texas, 1988. Postgraduate, University Notre Dame, 1977.
Research engineering science assistant, systems analyst University Texas, Austin, 1978-1987. Computing research science Computational Logic, Inc., 1987-1988, senior computing research science, since 1988, also board directors. Part-time instructor Austin Community College, 1978-1980, Southwest Texas State University, San Marcos, 1980-1981, 83-86.
Adjunct associate professor computer science University Texas, Austin, since 2000. Research scientist Honeywell Secure Computing Technology Center, St. Anthony, Minnesota, 1984-1987. Invited lecturer, presenter, splr. in field.
Publication chair Computer Security Workshop III, 1990, IV, 1991. Chairman panel Symposium Software Analysis, Testing and Verification, 1991, program committee, 1991. Organizer, chairman panel computer security foundations Computer Security Workshop II, 1989.
Board directors Computational Logic, Inc.
Member Institute of Electrical and Electronics Engineers, Association Computing Machienry, Abelian Group Investment Club (president 1992-1996), Phi Beta Kappa, Phi Eta Sigma, Pi Mu Epsilon, Upsilon Pi Epsilon.