This is an official U.S. Navy website.
Material contained herein is made available for the purpose of peer review and discussion
and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.


Doron Drusinsky

Computer Science DepartmentNaval Postgraduate School
1411 Cunningham Road
Monterey, CA 93943

Phone: (831) 656-2168

E-mail: ddrusins at


I joined the US Naval Postgraduate School in 2002 and am currently an associate professor of computer science. My interests are software engineering, formal methods, computer-aided specification validation and verification of mission critical systems, design and verification of autonomous systems and real-time systems, and theoretical computer science.


        Ph.D. in Computer Science, Weizmann Institute of Science, Rehovot, Israel,1988.

        B.Sc. in Computer Engineering, Technion, Haifa, Israel, 1983.