James Bret Michael

Vice Provost for Academic Affairs

Professor of Computer Science and Electrical & Computer Engineering

Naval Postgraduate School (https://nps.edu/)

Email: bmichael@nps.edu


IEEE Fellow

Associate Editor-in-Chief, Computer (Electronic ISSN: 1558-0814)


See my official biographical sketches at https://nps.edu/faculty-profiles/-/cv/bmichael



·      CS3600, Introduction to Computer Security (fall AY23)

·      EC3740, Reverse Engineering in Electronic Systems (spring AY23)

·      EC4765, Cyber Warfare (fall AY24)


·      D. Drusinsky and J. B. Michael, Multiagent pathfinding for non-dynamic programming problems. U.S. Patent no. 11,882,023 B2, 23 Jan. 2024.

·      D. Drusinsky, M. Litton, and J. B. Michael, 2023. Machine-learned verification and advance notice oracles for autonomous systems. U.S. provisional patent application filed Aug. 2023.


Over 300 publications, including books, chapters, journal articles, conference papers, and technical reports.

·      M. L. Litton, D. Drusinsky, and J. B. Michael, "Discovering decision manifolds to assure trusted autonomous systems," submitted to IEEE Syst. J., Feb. 2024. In review process.

·      M. L. Litton, D. Drusinsky, L. Bridget, and J. B. Michael, "Machine learned correctness properties, runtime verification, and advance warning oracles for autonomous systems," submitted to Science of Computer Programming, Apr. 2024. In review process.

·      M. L. Litton, D. Drusinsky, J. B. Michael, “Reliable autonomous vehicles: How do we get there?” IEEE Rel. Mag., vol. 1, no. 1, 2024, pp. 41-50.



Last updated on 14 May 2024