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. |
O'Hallaron, Dave - http://www.cs.cmu.edu/~droh/
Carnegie Mellon University - Internet services and high-performance distributed computing. |
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. |
Olsson, Fredrik - http://www.sics.se/people/fredriko
Swedish Institute of Computer Science - Language engineering, computational linguistics, information extraction and machine learning. |
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. |
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 |
Orsini, Luciano - http://lorsini.web.cern.ch/lorsini/
CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems. |