NPS - Faculty Profiles - Heading

Faculty Profile Directory

Welcome to the NPS Faculty Profile directory. Use the form below to search the NPS faculty profiles. All NPS Faculty may update their profiles by logging into FAIRS.

Back to Search

James B Michael

Phone: (831) 656-2634


Bret Michael is a professor with the departments of Computer Science and Electrical & Computer Engineering at the Naval Postgraduate School. He conducts applied research in artificial intelligence and trusted computing for embedded and distributed systems. Prior to joining NPS in 1998, he was an assistant researcher engineer with the University of California at Berkeley conducting research on advanced vehicle control and safety systems and serving part of that time as a visiting scholar from UCB to the French National Institute for Research on Transportation Safety and Ergonomics. He started his career as a member of the research staff at the Institute for Defense Analyses and as a formal methods engineer at Argonne National Laboratory. In 1997 the Institute of Electrical and Electronics Engineers elevated him to the rank of Senior Member, followed by the IEEE Reliability Society recognizing his contributions to the field of trustworthy distributed systems with the 2010 Engineer of the Year Award. In 2008 he received a Letter of Commendation from the Assistant Secretary of the Navy, Research Development and Acquisition, Chief Systems Engineer, for his contributions to the Navy Software Process Improvement Initiative and acquisition reform. In 2013 he received the Department of the Navy Meritorious Civilian Service Award for his leadership in advancing the state of the art and practice of cyber operations, including his service on the editorial board that drafted the Tallinn Manual on the International Law Applicable to Cyber Warfare.
  • PhD - George Mason University 1993
    Major: Information Technology
    Dissertation Title: A formal process for testing the consistency of composed security policies
  • MS - George Mason University 1987
    Major: Information Systems
  • MBA - George Mason University 1985
    Major: Accounting and Finance
  • BS - West Virginia University 1983
    Major: Business Administration
NPS Experience
  • 2007 - current: Professor
  • 1998 - 2007: Associate Professor
Other Experience
  • 1995 - 1996 Visiting Scholar, Institut National de Recherche sur les Transports et leur Securite (France)
  • 1994 - 1998 Assistant Research Engineer, University of California, Berkeley
  • 1993 - 1993 Adjunct Assistant Professor, Illinois Institute of Technology
  • 1992 - 1993 Formal Methods Engineer, Argonne National Laboratory
  • 1987 - 1992 Member of the Research Staff, Institute for Defense Analyses
Research Interests
Artificial intelligence<br>Engineering trusted systems<br>Technical, legal, and policy aspects of military operations in cyberspace
Teaching Interests
Artificial Intelligence<br>Distributed Computing<br>Embedded Systems Design<br>Formal Methods<br>Reverse Engineering


  • 2013 - Meritorious Civilian Service Award, Department of the Navy
  • 2011 - 2010 Engineer of the Year Award, IEEE Reliability Society
  • 2008 - Letter of Commendation from the Assistant Secretary of the Navy, Research Development and Acquisition, Chief Systems Engineer, Department of the Navy
  • 2008 - Best Paper Award, IEEE Int. Conf. on Secure Systems Integration and Reliability Improvement
  • 2003 - 2002 NPS Outstanding Research Achievement in Computer Science Award, Naval Postgraduate School

Boards, Memberships, & Certifications

Professional Memberships
  • 1987 Senior Member, Institute of Electrical & Electronics Engineers