| | - Angelo Montanari University of Udine
Logical specifications of realtime systems, temporal and objectoriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory. ...
http://users.dimi.uniud.it/~angelo.montanari/
|
| |
- Helmut A. Mayer
Natural computation, image processing, parallel computation, software engineering, and robotics. ...
http://www.cosy.sbg.ac.at/~helmut/helmut.html
|
| |
|
- Jayadev Misra University
University of Texas Parallel and distributed computing, specification and design of synchronous and asynchronous systems. ...
http://www.cs.utexas.edu/users/misra/
| | |
| |
|
| |
- Johann Makowsky
The Technion Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. ...
http://www.cs.technion.ac.il/~janos/index.html
| | - Bernard Menezes
Indian Institute of Technology, Bombay Information Appliances, Electronic Commerce, Java Security, Parallel Computing ...
http://www.it.iitb.ac.in/~bernard/
|
| |
- Alan Mycroft University
At the Computer Laboratory he is part of the Cambridge Programming Research Group. His research interests span an arc from semantic models of programming languages to actually building optimising compilers. A core interest is that of static analysis ...
http://www.cl.cam.ac.uk/~am21/
| | - Carme Martín
The Universitat Politècnica de Catalunya Integrity constraints, temporal databases, deductive databases. ...
http://www-lsi.upc.es/~martin/home_ang.html
|
| |
- Guy McCusker School of Cognitive
The Department of Computer Science has several fully funded PhD studentships available. If you are interested in working on programming language semantics, I would love to hear from you ...
http://www.cs.bath.ac.uk/~gam23/
| | |
| |
