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.
Phone: (831) 656-2168
E-mail: ddrusins at nps.edu
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
B.Sc. in Computer Engineering, Technion,