GradNova
Formal Methods
40 faculty research Formal Methods on GradNova.
Professor
Computer Science
University of Washington
Associate Professor
University of Victoria
Assistant Professor
University of Vermont
School of Computing
University of Utah
University of North Carolina at Chapel Hill
Computer Science and Engineering
University of Michigan
Visiting Assistant Professor
Assistant Professor, EECS – Computer Science and Engineering
F. Wendell Miller Professor
University of Iowa
University of Hawaii at Manoa
Computer & Information Science & Engineering
University of Florida
Affiliate Assistant Professor
University of British Columbia
Associate Head of Grad Affairs & Professor
Univ. of California - Riverside
Tufts University