O'Boyle, Michael
- 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
- http://www.dcs.ed.ac.uk/home/mob/

Orsini, Luciano
- CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems.
- http://lorsini.web.cern.ch/lorsini/

Ooi, Beng Chin
- National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications
- http://www.comp.nus.edu.sg/~ooibc

Ong, C.-H. Luke
- Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
- http://web.comlab.ox.ac.uk/oucl/work/luke.ong/

Olsson, Fredrik
- Swedish Institute of Computer Science - Language engineering, computational linguistics, information extraction and machine learning.
- http://www.sics.se/~fredriko

O'Hearn, Peter
- Queen Mary and Westfield College - Semantics of programming languages with a primary focus on state.
- http://www.dcs.qmw.ac.uk/~ohearn/

O'Hallaron, Dave
- Carnegie Mellon University - Internet services and high-performance distributed computing.
- http://www.cs.cmu.edu/~droh/

Oberlander, Jon
- University of Edinburgh - Computational linguistics, cognitive science, discourse generation.
- http://www.cogsci.ed.ac.uk/~jon/