Christopher Rouff is a member of the Senior Professional Staff at Johns Hopkins University Applied Physics Laboratory. He received a Ph.D. in Computer Science from the University of Southern California and a Master of Science in Computer Science from the University of California, Davis. His research includes software engineering for high assurance systems, autonomous and autonomic systems, formal methods, automatic code generation, requirements-based development, and distributed systems. His interests also include swarm-based systems, emergent behavior and memetics. He has over 100 publications, including 4 books and 6 patents.

Education History

  • M.S. Computer Science, University of California
  • M.S. Cybersecurity, Johns Hopkins University
  • PHD Computer Science, University of Southern California

Work Experience

Senior Professional Staff, JHU Applied Physics Laboratory


Truszkowski, W., Rouff, C., Hassan, M. and Tuntsel, E. Robot Memetics: A Space Exploration Perspective. A Springer Briefs Publication. March, 2020. ISBN 978-3030379513.

Hallock, H., Welter, G., Simpson, D. and Rouff, C. ACS Without an Attitude. NASA Monographs in Systems and Software Engineering Series. Springer. 2017. ISBN 978-1-4471-7325-0.

Rouff, C. and Hinchey, M. (Editors). Experience from the DARPA Urban Challenge. ISBN 978-0-85729-771-6. Springer. 2012.

Truszkowski, W., Hallock, H., Rouff, C., Karlin, J., Hinchey, M., Rash, J. Autonomous and Autonomic Systems with Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs is Systems and Software Engineering Series. Springer. ISBN 978-1-84628-232-4. 2009.

Rouff, C., Rash, J., Truszkowski, W., Gordon, D. and Hinchey, M. (Editors). Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering Series. Springer-Verlag. 2005. ISBN: 1-85233-947-0. 2005.

Book Chapters
Hinchey, H., Rouff, C. Rash, J., Truszkowski, W. Requirements of an Integrated Formal Method for Intelligent Swarms. In Formal Methods for Industrial Critical Systems: A Survey of Applications. Editors Gnesi, S. and Margaria, T. IEEE Computer Society Press. 2012.

Hinchey, M., Rash, J., Truszkowski, W., Rouff, C. and Sterritt, R. You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. In Conquering Complexity. Editors Hinchey, M. and Coyle, L. Springer 2012.

Berger, C., Hinchey, M. and Rouff, C. Introduction to the DARPA Urban Challenge. In Experience from the DARPA Urban Challenge. Edited by C. Rouff and M. Hinchey. Springer. 2012.

Hinchey, M., Sterritt, R., Rash, J., Truszkowski, W., and Rouff, C. Autonomic Management in Space Missions. In Advanced Parallel and Distributed Computing. Edited by Dai, Y.S., Pan, Y. and Raje, R. Nova Science Publishers. ISBN 1-60021-202-6, 2006.

Hinchey, M., Bowen, J. and Rouff, C. Introduction to Formal Methods. In Agent Technology from a Formal Perspective. Springer-Verlag, ISBN: 1-85233-947-0, 2005.

Rouff, C., Rash, J., Hinchey, M. Truszkowski, T. Formal Methods at NASA Goddard Space Flight Center. In Agent Technology from a Formal Perspective. Springer-Verlag, ISBN: 1-85233-947-0, 2005.

Sheppard, S. and Rouff, C. 1994. User Interface Management Systems. Encyclopedia of Software Engineering, Edited by John J. Marciniak. John Wiley & Sons, Inc. ISBN: 0-471-54004-8.

Rouff, C. and Horowitz, E. 1991. A System for Specifying and Rapidly Prototyping User Interfaces. In Taking Software Design Seriously: Practical Techniques for Human-Computer Interaction Design. Edited by John Karat. Academic Press, ISBN: 012397710X. Also published as a TRW Technical Report.

Journal Papers
Rouff, C., Watkins, L. Assured Autonomy Survey. Foundations and Trends in Privacy and Security 4(1), 2022. 1-116.

Maurio, J., Wood, P., Zanlongo, S., Silbermann, J., Sookoor, T., Lorenzo, A., Sleight, R., Rogers, J., Muller, D., Armiger, N., Rouff, C., and Watkins, L. Agile Services and Analysis Framework for Autonomous and Autonomic Critical Infrastructure. Journal of Innovations in Systems and Software Engineering. August 13, 2021.

Pena, J., Rouff, C., Hinchey, M., and Ruiz-Cortes, A. Modelling NASA Swarm-Based Systems: Using Agent-Oriented Software Engineering and Formal Methods. Journal of Software Systems and Modeling. October, 2009.

Hinchey, M., Sterritt, R., Rouff, C. Sustainable Space Exploration Missions. Futures, Elsevier. 41(8), pp 511-580. October, 2009.

M. G. Hinchey, J. L. Rash, W. F. Truszkowski, C. A. Rouff, and R. Sterritt. Vous ne pouvez aller l`a `a partir d’ici! Probl`emes et solutions potentielles dans le d eveloppement de nouvelles classes de syst`emes complexes. G`enie Logiciel, 88, pp 14-25, March 2009. Reprinted in translation from “You can’t get there from here! Problems and potential solutions in developing new classes of complex systems”. Proc. Eighth International Conference on Integrated Design and Process Technology (IDPT), Beijing, China, 2005

Rash, J., Hinchey, M., Rouff, C., Gracanin, D., and Erickson, J. A Requirements-based Programming Approach to Developing a NASA Autonomous Ground Control System. Artificial Intelligence Review, Special Issue on Engineering Autonomic Systems, Springer. 25(4), pp 285-297, June, 2006.

Rouff, C., Hinchey, M., Truszkowski, W. and Rash, J. Experiences Applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems. International Journal on Software Tools for Technology Transfer. Special Issue on Leveraging Applications of Formal Methods. 8(6), pp 587-603, November, 2006.

Sterritt, R., Rouff, C., Hinchey, M., Rash, J., and Truszkowski, W. Next Generation System and Software Architectures: Challenges from Future NASA exploration missions. International Journal of Science of Computer Programming. Elsevier. 61(1), pp 48-57, June, 2006.

Truszkowski, W., Hinchey, M., Rash, J. and Rouff, C. Autonomous and Autonomic Systems: A Paradigm for Future Space Exploration Missions. IEEE Transactions on Systems, Man and Cybernetics, Part C, 36(3), pp 279-291, May, 2006.

Hinchey, M., Rash, J., Rouff, C, and Gracanin, D. Achieving Dependability in Sensor Networks through Automated Requirements-Based Programming. Journal of Computer Communications, Special Issue on Dependable Wireless Sensor Networks. 29(2), pp 246-256, January 10, 2006.

Truszkowski, W., Rouff, C., Bailin, S., and Rilee, M. Progressive Autonomy: A Method for Gradually Introducing Autonomy into Space Missions. Innovations in Systems and Software Engineering. Springer. Volume 1, Number 2, Pages 89-99, September 2005.

Hinchey, M., Rash, J., Truszkowski, W., Rouff, C. and Sterritt, R. You Can’t Get There From Here: Problems and Potential Solutions in Developing New Classes of Complex Systems. Journal of Integrated Design & Process Science. Volume 9, Number 1, Pages 1-16, March 2005.

Honors and Awards

  • IEEE Computing and Communication Workshop and Conference (CCWC) 2024 Best Paper Award (2024)
  • Best of Session and Best of Track paper award for the IEEE Digital Avionics Systems Conference (DASC 2016) (2016)
  • Best paper award for the International Workshop on Computational Modeling and Discovery in Social Systems (CMDSS), in SocialCom 2010 (2010)
  • Best Research Paper Award from NASA Office of Safety and Mission Assurance (OSMA), Software Assurance Research Program (SARP) (2005)
  • Best Paper Award from NASA Goddard, Information Systems Division (2005)
  • NASA Software Release Award – A Method and System for Procedure Development and Verification by Formal Specifications Derived Mechanically from Informal Procedures (2005)
  • NASA Group Achievement Award for technology transfer to a small business (1994)
  • Federal Technology Achievement Award for Transportable Applications Environment (1994)

Professional Organizations