Associate Research Professor, Department of Computer Science, Naval Postgraduate School, Monterey, California
USA

Timothy E. Levin is an Associate Research Professor at the Naval Postgraduate School. He has spent over 17 years working in all aspects of secure computer systems research and development, including the design of security features and formal verification for A1 operating systems and relational database management systems. His current research interests include management and quantification of security in heterogeneous networks, data integrity in distributed systems, and the application of formal methods to secure computer systems. Mr. Levin is a member of the Association for Computing Machinery and International of Electrical and Electronics Engineers.