Program Verification
Concept
Associated Departments
Overview
research area of
-
Chang, Bor-Yuh Evan,
Associate Professor,
Electrical, Computer and Energy Engineering (ECEE)
-
Kaki, Gowtham,
Assistant Professor,
Computer Science
-
Katz, Tamra Edner,
Lecturer,
Lockheed Martin Engineering Management Program
-
Lahijanian, Morteza,
Assistant Professor,
Aerospace Engineering Sciences
-
Sankaranarayanan, Sriram ,
Professor and S.J. Archuleta Endowed Professor,
College of Engineering and Applied Science
-
Somenzi, Fabio,
Professor,
Electrical, Computer and Energy Engineering (ECEE)
-
Trivedi, Ashutosh,
Associate Professor,
Electrical, Computer and Energy Engineering (ECEE)
-
Zamani, Majid,
Associate Professor,
Electrical, Computer and Energy Engineering (ECEE)