  |
O'Hallaron, Dave - http://www.cs.cmu.edu/~droh/
Carnegie Mellon University - Internet services and high-performance distributed computing. |
| |
Ong, C.-H. Luke - http://www.comlab.ox.ac.uk/people/Luke.Ong/
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic. |
| |
O'Hearn, Peter - http://www.dcs.qmw.ac.uk/~ohearn/
Queen Mary and Westfield College - Semantics of programming languages with a primary focus on state. |
| |
Ooi, Beng Chin - http://www.comp.nus.edu.sg/~ooibc
National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications |
| |
O'Boyle, Michael - http://www.dcs.ed.ac.uk/home/mob/
University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture. |