Most of my current work is concerned with the
development and implementation of decision procedures,
the application of formal methods for analyzing
software and hardware systems, extensions of
the PVS verification
system, support for the Structured Analysis Laboratory
(SAL),
analysis of security protocols
(CAPSL),
and nanocomputers.