Faculty

Joe Izraelevitz

Joseph (Joe) Izraelevitz

Assistant Professor
Systems Software | Parallel Programming | Nonvolatile Memory
Eric Keller

Eric Keller

Associate Professor (On Leave)
Networking | Security | Virtualization | Software-Defined Networking
Chris Myers headshot

Chris Myers

Professor • Department Chair
Asynchronous Circuit Design | Formal Verification of Analog/Mixed Signal Circuits and Cyber-Physical Systems | Genetic Circuit Modeling, Analysis and Design
Tamara Lehman

Tamara Silbergleit Lehman

Assistant Professor
Computer Architecture | Hardware Security | Memory Systems | Democracy and Technology
Fabio Somenzi

Fabio Somenzi

Professor
Formal Verification | Model Checking | Hardware Synthesis | Automata | Decision Procedures | Decision Diagrams
Eric Wustrow

Eric Wustrow

Assistant Professor
Network Security | Systems Security | Privacy | Cryptographic Tools