David Luckham's Students

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
  • Tracz, W. - Software Reuse
    • Principal Research Scientist, GCSS-AF Enterprise Engineering
      Lockheed Martin Systems Integration, Owego, NY
ComplexEvents.com

Stanford Rapide™ Project

PAVG

Program Analysis & Verifcation Group