John Regehr
- Associate Professor
- 3470 MEB
- p: 801.581.4280
- f: 801.581.5843
- regehr@cs.utah.edu
- Personal Homepage
Background
John received his B.S. in Mathematics and Computer Science at Kansas State University in 1995. He received his M.S. in Computer Science at the University of Virginia in 1997 followed by his PhD in Computer Science at the University of Virginia in 2001.
Research Interests
Embedded systems, sensor networks, static analysis, real-time systems, operating systems
