University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics. http://www.eecs.umich.edu/~qstout/
University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development databases. http://www.cs.arizona.edu/people/rts/
Pennsylvania State University - Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems. http://www.cse.psu.edu/~anand/
University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing. http://www.cl.cam.ac.uk/users/pes20/