George Dinolt
Professor
Department of Computer Science
Naval Postgraduate School
United States of America
Biography
George Dinolt was an Associate Professor in the Computer Science Department at the Naval Postgraduate School. My research interests are primarily in the "high assurance" portions of Computer Security. He worked in Formal Methods and the connections between them and Security Policies, Secure Systems Architectures and Secure Systems Design. And also worked in Computer Network (Cyber) Operations.
Research Interest
Research Interests in Formal Methods and Computer Security.
