1974

• Buchanan, J.R. - A Study in Autonomic Programming
  • Asst. Professor CMU & Fellow of the US Supreme Court - 1974-78
  • Professor, Havard Business School - 1980
    
    
• Brown, Thomas - Autonomic Theorem-Proving Strategies

1975

• Suzuki, Norihisa - Automatic Verification of Programs with Complex Data Structures (Published as a book in "Outstanding Theses in Computer Science", Garland Publishing, 1980)
  • Co-founder, President & CEO, Zaxel Systems, Inc.
  • Director, Sony Research Laboratories, Tokyo
  • Director, IBM Research Laboratories, Tokyo

1977

• Cartwright, R.S. - A Practical Formal Semantics and Verification System for Typed LISP (Published as a book in "Outstanding Theses in Computer Science", Garland Publishing, 1980)
  • Professor of Computer Science, Rice University, TX

1979

• Karp, R.A. - Proving Concurrent Programs Correct
  • Industrial Consultant

1980

• Polak, W. - Theory of Compiler Specification and Verification (Published as a book in Springer-Verlag "Lecture Notes in Computer Science", LNCS No. 124, Compiler Specification and Verification.)
  • Computer Science Consultant, Sunnyvale CA
  • Manager, Programming Environments, Rational Inc., 1981-85
    
    
• German, S.M. - Verifying the Absence of Common Runtime Errors in Computer Programs

1985

• Huh, Y. - Formal Specification and Verification of Hierachical VLSI Design
  • Director, Samsung Electronics USA, Mountain View, CA

1988

• Rosenblum, D.S. - Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages
  • Professor of Software Systems, Department of Computer Science, University College London, UK - 2004

1989

• Sankar, S. - Automatic Runtime Consistency Checking and Debugging of Annotated Programs
  • Software Engineer, Google, Inc., Mountain View, CA
  • Founder, MetaMata Inc.
  • Software Engineer, Sun Microsystems.

1990

• Neff, R. - Ada/Anna Specification Analysis
  • Senior Engineer, IBM Palo Alto Laboratories, Palo Alto CA
    
    
• Gennart, B. - Application of Event Patterns to Analysis of Hardware Simulation
  • Associate Professor, Ecole Polytechnique, Lausanne, Switzerland
  • Research Fellow, LSI Labs, NTT, Tokyo, Japan

1993

• Madhav N. - Type Systems in Prototyping Languages
  • Senior Engineer, Tibco Software, Inc. - 2002
  • Research Associate, Electrical Engineering Department, Stanford University

1994

• Augustin, L.M. - Hardware Description Languages for Automated Synthesis
  • Partner, Azure Capital Partners, San Francisco
  • Chairman, VA Software, Sunnyvale, CA
  • CEO VA Linux, Inc. - 2000

1996

• Kenney, J.J. - Executable Formal Models of Distributed Transaction Systems
  • Director of Engineering, Spirent Plc.
    
    
• Tracz, W. - Software Reuse
  • Principal Research Scientist, GCSS-AF Enterprise Engineering
    Lockheed Martin Systems Integration, Owego, NY