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.
1411
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.
EDUCATION:
·
Ph.D. in Computer Science, Weizmann Institute of
Science,
·
B.Sc. in Computer Engineering, Technion,