DR. JOHN P. J. KELLY

Dr. John P. J. Kelly has over thirty years of professional experience in diverse technology domains including computer architecture, software engineering, clean room development and evaluation, reverse engineering, operating systems (real-time and embedded), network computing (including Internet computing), storage systems, fault tolerance, parallel and distributed computing systems, transaction processing systems, database systems, and program management. He has worked on design, development, and integration of both large-scale and small-scale computer systems with a wide range of requirements, sizes and types. He has designed custom hardware and software for many government institutions and leading research labs and industry giants including the U.S. Air Force, the U.S. F.A.A., the U.S. Department of Energy, NASA's Jet Propulsion Laboratory, Hughes Aircraft Company, Citicorp, Unisys and Honeywell. Dr. Kelly consulted for Los Alamos National Laboratories for over five years, and has been an advisor for many corporations including Microsoft, Cisco, HP, Raytheon, and Sony.

Dr. Kelly is a recognized expert in the investigation of patent infringement, copyright infringement and trade secret misappropriation, and has served as an expert testifying witness in numerous intellectual property litigation matters. He has testified on behalf of American Airlines, Cisco Systems, Heidelberg, HP, Hughes Aircraft Company, Hyundai, Mentor Graphics, Microsoft, Samsung and Sony among others. As the founding President and C.E.O. of Kelly Computing, Inc., Dr. Kelly has led the efforts to deliver high impact and time critical business and technology consulting services.

Dr. Kelly holds a Bachelor of Arts degree and a Master of Arts degree with honors in Mathematics from the University of Cambridge, England, and a Ph.D. in Computer Science from the University of California, Los Angeles. He has served as a professor in the Computer Science Department of the University of California, Los Angeles and in the Electrical and Computer Engineering Department of the University of California, Santa Barbara, where he held tenure. Dr. Kelly has served as an Editorial Board member for Springer-Verlag, peer-reviewed for numerous publications and served on the program committees of numerous research conferences on database systems, distributed systems, fault tolerance, and dependable computing. Dr. Kelly is also the author of numerous publications.

Education

Ph.D.: Computer Science, UCLA

M.A.: Mathematics, University of Cambridge

B.A.: Mathematics, University of Cambridge

Honors

UCLA Regents Fellow

Professional Service

Professor in:

Electrical and Computer Engineering Department, University of California, Santa Barbara (July 1986 - December 1997)

Computer Science Department, University of California, Los Angeles (July 1983 - June 1986)

Program Committee Member for:

Fault Tolerant Computing Symposium (1988, 1989, 1990, 1991, 1993), Fifth Symposium on Reliability in Distributed Systems and Database Systems (1986), Eighth Symposium on Reliable Distributed Systems (1989), 1st IFIP Int'l Working Conference on Dependable Computing for Critical Applications, 3rd IFIP Int'l Working Conference on Dependable Computing for Critical Applications

Reviewer for:

National Science Foundation, IEEE Transactions on Software Engineering, IEEE Transactions on Computers, IEEE Transactions on Reliability, IEEE Computer, FTCS (Fault Tolerant Computing Symposium), SRDSDS (Symposium on Reliability in Distributed Systems and Database Systems), VLDB (Very Large Data Base Conference), DCCA (Dependable Computing for Critical Applications), DCS (Distributed Computing Symposium), California MICRO Program

Selected Publications

"A Large Scale Second Generation Experiment in Multi-Version Software: Description and Early Results," John P. J. Kelly, David E. Eckhardt, Jr., David F. McAllister, Mladen A. Vouk, Alper Caglayan, Digest of 18th Annual International Symposium on Fault-Tolerant Computing, Tokyo, Japan, June 1988. pp 9-14. (refereed conference)

"An Integrated Approach To Large Dependable Systems," John P. J. Kelly and Susan Murphy, Proceedings of the National Security Industrial Association Annual National Joint Conference on Software Quality and Reliability, 1-3 March 1988. (refereed conference)

"Software Design Diversity," John P. J. Kelly, in Dependability of Resilient Computers, T. Anderson (Ed.), Blackwell Scientific Publications Ltd., Oxford, 1989. (invited book chapter)

"Teaching the Ada Tasking Model to Experienced Programmers: Lessons Learned," John P. J. Kelly and Susan C. Murphy, Proceedings of ASEET, June 1989. (refereed conference)

"Implementing Protocols with Multiple Specifications: Experiences with Estelle, LOTOS and SDL," Susan C. Murphy, Per Gunningberg, and John P. J. Kelly, Proceedings of Ninth IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, The Netherlands, June 1989. (refereed conference)

"Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications?," John P. J. Kelly, Proceedings of Fourth International Conference on Fault Tolerant Computing Systems, Baden Baden, September 1989. (invited conference paper and book chapter)

"Achieving Dependability Throughout the Development Process: A Distributed Software Experiment," John P. J. Kelly and Susan C. Murphy, IEEE Transactions on Software Engineering, February, 1990. (invited contribution)

"Techniques for Building Dependable Distributed Systems: Multi Version Software Testing," John P. J. Kelly, Thomas I. McVittie, and Susan C. Murphy , Digest of 20th Annual International Symposium on Fault-Tolerant Computing, Newcastle, England, June 1990. pp (refereed conference)

"Analysis of Faults Detected in a Large-Scale Multi-Version Software Development Experiment," Mladen A. Vouk, Alper Caglayan, David E. Eckhardt, John P. J. Kelly, John Knight, David F. McAllister, Les Walker, Proceedings of the Ninth Digital Avionics Systems Conference, October, 1990, Virginia Beach, VA. (refereed conference)

"An Empirical Investigation of the Effect of Formal Specifications on Program Diversity," Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto, Proceedings of 2nd International Conference on Dependable Computing for Critical Applicationa, Tucson, AZ, February 1991. (refereed conference)

"An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability," David E. Eckhardt, Alper Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly, IEEE Transactions on Software Engineering, July, 1991.

"Implementing Design Diversity to Achieve Fault Tolerance," John P. J. Kelly, Thomas I. McVittie, Wayne I. Yamamoto, IEEE Software, July 1991.

"Experiences with Estelle, LOTOS and SDL: a Protocol Implementation Experiment," Susan C. Murphy, Per Gunningberg, and John P. J. Kelly, Journal of Computer Networks and ISDN Systems, Vol 22, No. 1, August 1991, pp 51-59.

A revised version of "An Empirical Investigation of the Effect of Formal Specifications on Program Diversity," Thomas I. McVittie, John P. J. Kelly, Wayne I. Yamamoto, Dependable Computing for Critical Applications 2, J. F. Meyer, R. D. Schlichting (eds.), Springer-Verlag, Wien 1992.

"Dependable Distributed Software," John P. J. Kelly and Susan C. Murphy, in Real-Time Systems, C. M. Krishna, Y-H Lee (eds.), IEEE Computer Society Press, Los Alamitos, CA (solicited book chapter), 1992.

"System for Information Management Analysis and Display (SIMAD) User Manual," T. McVittie, G. Cole, J. P. J. Kelly, Los Alamos National Laboratory Technical Report, January 1993.

"FIMAD Systems Analysis and Engineering," John P. J. Kelly, Los Alamos National Laboratory Technical Report, October 1992.

"Digest of Facility for Information Management Analysis and Display (FIMAD) Development Conference," Edited by John P. J. Kelly, Los Alamos National Laboratory Technical Report, September 1992.

"Los Alamos National Laboratory Environmental Restoration Program Systems Engineering and Analysis, Part I," John P. J. Kelly Los Alamos National Laboratory Technical Report, May 1993.

"Los Alamos National Laboratory Environmental Restoration Program Systems Engineering and Analysis, Part II," John P. J. Kelly, Los Alamos National Laboratory Technical Report, March 1994.

"Project Planning and Management," John P. J. Kelly, AT&T GIS Short Course, June 1995.

"Design Diversity Experience," John P. J. Kelly, Electrical and Computer Engineering Technical Report, University of California, Santa Barbara, March 1996.