Formal Methods in Verification
175 faculty research Formal Methods in Verification on GradNova.
S
S
Director of Undergraduate Studies for Computer Science
T
Professor and Director of GTS3, Joint with the
C
Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science
M
Percy K. and Vida L. W. Hudson Professor of Computer Science
T
Jeffrey L. and Brenda Bleustein Professor of Engineering