NPS logo NPS title

James Bret Michael
Department of Computer Science
Graduate School of Operational and Information Sciences &
Department of Electrical and Computer Engineering
Graduate School of Engineering and Applied Sciences
Monterey, CA 93943
Phone: 703-275-8432
Email: bmichael (at)
PhD - George Mason Univ, 1993
MS - George Mason Univ, 1987
MBA - George Mason Univ, 1985
  • 2007 - present: Professor, Department of Electrical & Computer Engineering
  • 2007 - present: Professor, Department of Computer Science
  • 2004 - 2007: Associate Professor, Department of Electrical & Computer Engineering
  • 1999 - 2007: Associate Professor, Department of Computer Science
  • 1998: Visiting Professor, Department of Computer Science
  • 1994 - 1998 - Assistant Research Engineer, University of California, Berkeley
  • 1995 - 1996 - Visiting Scholar, Institut National de Recherche sur les Transports et leur Sécurité (France)
  • 1992 - 1993 - Formal Methods Engineer, Argonne National Laboratory
  • 1987 - 1992 - Member of the Research Staff, Institute for Defense Analyses
  • Trustworthy distributed and mobile computing
  • Software system assurance, including formal verification & validation, reliability, safety, and security engineering
  • Intelligence studies and national security
  • Data-centric security for mobile and cloud computing
  • Advanced digital forensics techniques
  • Policy and law of armed conflict applicable to cyber operations
  • Computer-aided formal verification & validation of software-intensive systems
  • Department of Navy Meritorious Civilian Service Award, 2013
  • IEEE Reliability Society Engineer of the Year Award, 2010
  • Commendation from the Assistant Secretary of the Navy, Research Development and Acquisition, Chief Systems Engineer, for contributions to the Navy Software Process Improvement Initiative and acquisition reform, 2008
  • Best Paper, IEEE Int. Conf. on Secure Systems Integration and Reliability Improvement, 2008
  • NPS Outstanding Research Achievement in Computer Science Award, 2002
  • Senior Member, Institute of Electrical and Electronics Engineers, 1997
  • Michael, J., Schumann, M., Drusinsky, D., and Wijesekera, D. Modeling human-in-the-loop security analysis and decision-making processes. IEEE Trans. Software Eng. (2014), 40, 2: 154-166.
  • Alves, M., Drusinsky, D., Michael, J., and Shing, M. End-to-end formal specification, validation, and verification process: A case study of space flight software. IEEE Syst. J. (2013) 7, 4: 632-641.
  • Michael, J., Laplante, P., Payne, J., Black, P., and Voas, J. Does security trump reliability? Computer (2013) 46, 11: pp. 84-85.
  • Michael, J. B. Empowering users through secure on-demand data provisioning. Computer (2013) 46, 6: 84-85.
  • Tallinn Manual on the International Law Applicable to Cyber Warfare. Schmitt, M., ed. Cambridge University Press, 2013.
  • Brown, A., Apple, B., Michael, J. B., and Schumann, M. Atomic-level security for web applications in a cloud environment. Computer (2012) 45, 12: pp. 80-83.
  • Boothby, W., Heintschel von Heinegg, W., Michael, J., Schmitt, M., and Wingfield, T. When is a cyberattack a use of force or an armed attack? IEEE Computer (2012) 45, 8: 82-84.
  • Melaragno, A., Bandara, D., Wijesekera, D., and Michael, J. Securing the ZigBee protocol in the smart grid. IEEE Computer (2012) 45, 4: 92-94.
  • Walker III, T., Tummala, M., McEachen, J., and Michael, J. Flow-specific medium access for networked satellite system. IEEE Syst. J. (2011) 5, 3: 427-434.
  • Michael, J., Drusinsky, D., Otani, T., and Shing, M. Verification and validation for trustworthy software systems. IEEE Software (2011) 28, 6: 86-92.
  • Michael, B. and Wingfield, T. A new era of accountability. J. European Security and Defense Issues (2011) 2, 2: 38-41
  • Keywords: Digital forensics, law of armed conflict in cyberspace, multidimensional cryptography, software reliability, system safety, trusted distributed and mobile computing

The pages on this site are dynamic, and are created by a script. Contact Faculty Vitae Admin to report incomplete or incorrect data.
Privacy Policy | Copyright / Accessibility / Section 508 | Navy Links | Contact Webmaster | Disclaimers | NPS Intranet | Freedom Of Information Act
This is an Official U.S. Navy Website