Joon Sung Hong (Justin), 11/01/06 to 12/31/07, Samsung, Korea
Koichi Mouri, 9/05-9/06, Ritsumeikan University, Japan
Renato Cerqueira, 1/10/01- 11/30/01, CNPq, Brazil
Cristina Ururahy Cerqueira, 1/10/01-11/30/01, CNPq, Brazil
Hyeon Lee, 9/7/00-8/30/01, Korea Telecom
Hans Ole Rafaelsen, Summer 2000 with Campbell
people
Postgraduate/Visiting Scholars
Doctoral Degrees
| Zahid Anwar, "Automatic Security Assessment of Control Systems for Critical Cyber-Infrastructure", Concordia University, Canada, October 2008 |
| Francis David, "Building a Reliable Operating System", Microsoft, October 2008 |
| Suvda Myagmar, "Secure Configuration for Software Defined Radio", Yahoo!, May 2008, |
| C. S. Shankar, "Policy based Pervasive Systems Management Using Specification-Enhanced Rules," Microsoft, May 2006 |
Master of Science
| May 1978, Richard Conn , "ARIAN--An Implementation of a Microcomputer Operating System" |
| May 1978, Thomas Miller , "An Implementation of Path Expressions in Pascal" |
| August 1978, Thomas Schaefges, "Estimating Execution Times of Path Pascal Programs" |
| October 1979, Kurt Horton , "A Fault-tolerant Deadline Mechanism", SUN, Colorado Springs, CO |
Alumni
| Zahid Anwar, "Automatic Security Assessment of Control Systems for Critical Cyber-Infrastructure", Concordia University, Canada, October 2008 |
| Francis David, "Building a Reliable Operating System", Microsoft, October 2008 |
| Suvda Myagmar, "Secure Configuration for Software Defined Radio", Yahoo!, May 2008, |
