Faculty

Vikram Adve Gul Agha Maria Garzaran Elsa Gunter Ralph Johnson Sam Kamin

Vikram Adve
Professor
compilers, software reliability

Gul Agha
Professor
distributed systems, parallelism, coordination, real-time behaviors

Maria Garzaran
Res. Asst. Prof.
compilers, hardware software interaction

Elsa Gunter
Res
. Assoc. Prof.
software engineering, 
programming 
languages,
formal methods

Ralph Johnson
Res. Assoc. Prof.
object-oriented design, design
patterns,
frameworks,
software arch.

Sam Kamin
Assoc. Professor
programming lang, software components, 
program specification and verification

     

P. Madhusudan

 Darko Marinov  Jose Meseguer  David Padua  Grigore Rosu  Mahesh Viswanathan

P. Madhusudan
Assoc. Professor
software verification, reliable software, security, 
logic, automata theory

 

Darko Marinov
Assoc. Professor
software reliability, testing, theorem proving, model checking, rich specification languages

Jose Meseguer
Professor
formal executable specification and verification, software arch.

 David Padua
 Professor

  compilers

Grigore Rosu
Assoc. Professor
software, design, 
semantics and implementation of programming spec. languages

Mahesh Viswanathan
Assoc. Professor
formal models for system specification

Tao Xie          

Tao Xie
Assoc. Professor
software engineering, software testing, program analysis, software analytics,
software security, educational software engineering

         

 

Darko Marinov
Danny Dig
Visiting Res. Asst. Professor
software engineering, automatic refactoring, patterns, concurrency

 

 Affiliated Faculty:

Carl Gunter Sam King Sayan Mitra Shobha Vasudevan Craig Zilles  

Carl Gunter
Professor
CS Dept.
security, networks

Sam King
Asst. Professor
CS Dept.
security, OS, virtual machines|

Sayan Mitra
Asst. Professor
ECE Dept.
cyber-physical systems, verification


Shobha Vasudevan
Asst. Professor
ECE Dept.
hardware design and verification 

 

Craig Zilles
compilers, dynamic optimization

 

 


 

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer