| | - Luke Ong
My research has mainly been in Semantics of Computation, which is concerned with the development and analysis of mathematical structures that model computation using ideas and tools from Mathematical Logic. More recently my research has tended to be ...
http://www.comlab.ox.ac.uk/people/Luke.Ong/
|
| |
- Fredrik Olsson
Fredrik Olsson. I have a PhD in Computational Linguistics from Göteborgs University, and a Ph Lic in the same subject from Uppsala University. Ive been enrolled in the National Graduate School of Language Technology GSLT. Ive been a researcher at SIC ...
http://www.sics.se/people/fredriko
|
| |
|
- Dave OHallaron
Dave OHallaron Carnegie Mellon University Internet services and highperformance distributed computing. ...
http://www.cs.cmu.edu/~droh/
| | |
| |
- Luciano Orsini
HighPerformance distributed systems, Distributed operating systems, Component systems. ...
http://lorsini.web.cern.ch/lorsini/
|
| |
- Professor of Computer Science
My research interests are in logic and semantics of computation. With John Reynolds CMU I developed separation logic, which addresses the problem of tractable reasoning about dynamically allocated objects. With David Pym then at Queen Mary, now at HP ...
http://www.dcs.qmw.ac.uk/~ohearn/
| | - Beng Chin Ooi
Beng Chin is Professor of Computer Science and Dean of School of Computing, at the National University of Singapore NUS. He obtained his BSc 1st Class Honors and PhD from Monash University, Australia, in 1985 and 1989 respectively. He joined Institut ...
http://www.comp.nus.edu.sg/~ooibc
|
| |
- University of Edinburgh
The primary research question I am interested in is: how can compiler technology best exploit the potential of high performance architectures? Recently we have developed innovative approaches to this problem using machine learning where it outperform ...
http://www.dcs.ed.ac.uk/home/mob/
| | |
| |
