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 Department
Naval Postgraduate School
1411 Cunningham Road
Monterey, CA 93943

Phone: (831) 656-2168

E-mail: ddrusins at nps.edu

BIOGRAPHICAL SKETCH:

I joined the US Naval Postgraduate School in 2002 and am currently a professor of computer science. My interests are AI assisted computer-aided specification validation and verification of mission critical systems, design and verification of autonomous systems and real-time systems, and theoretical computer science, as well as the integration of AI and zero-knowledge proof systems

EDUCATION:

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

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