J
James Bret Michael
Vice Provost for Academic Affairs Professor
Research Interests
Engineering Trusted Systems
Machine Learning
Technical, Legal, and Policy Aspects of Military Operations in Cyberspace
Software Reliability and Analysis Research
Information and Cyber Security
Formal Methods in Verification
Advanced Malware Detection Techniques
Security and Verification in Computing