|
|
|
|
Welcome Guest! Login/Join |
| Directory: | Computers / Computer_Science / People / I |
| Title: | Ibbett, Roland |
| Description: | University of Edinburgh - Architecture of parallel and novel computer systems. |
| Location: | http://homepages.inf.ed.ac.uk/rni/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / J |
| Title: | Jerrum, Mark |
| Description: | University of Edinburgh - Probabilistic computation, the complexity of combinatorial enumeration, information- and complexity-theoretic aspects of machine learning, and combinatorial optimisation. |
| Location: | http://www.dcs.ed.ac.uk/home/mrj/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / L |
| Title: | Lascarides, Alex |
| Description: | University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation. |
| Location: | http://homepages.inf.ed.ac.uk/alex/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / O |
| Title: | Oberlander, Jon |
| Description: | University of Edinburgh - Computational linguistics, cognitive science, discourse generation. |
| Location: | http://www.cogsci.ed.ac.uk/~jon/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / O |
| Title: | O'Boyle, Michael |
| Description: | 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. |
| Location: | http://www.dcs.ed.ac.uk/home/mob/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / R |
| Title: | Ritchie, Graeme |
| Description: | University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour. |
| Location: | http://homepages.inf.ed.ac.uk/graeme/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / S |
| Title: | Steedman, Mark |
| Description: | University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents. |
| Location: | http://www.cogsci.ed.ac.uk/~steedman/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / S |
| Title: | Sannella, Donald |
| Description: | University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. |
| Location: | http://homepages.inf.ed.ac.uk/dts/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / S |
| Title: | Simpson, Alexander |
| Description: | University of Edinburgh - Category theory, domain theory, logic, type theory. |
| Location: | http://homepages.inf.ed.ac.uk/als/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / People / S |
| Title: | Stirling, Colin |
| Description: | University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. |
| Location: | http://homepages.inf.ed.ac.uk/cps/ |
| |
|
| | |
Hosting Metrics