  |
Mukund, Madhavan - http://www.cmi.ac.in/~madhavan
Chennai Mathematical Institute - logic and models for concurrency |
| |
Makowsky, Johann - http://www.cs.technion.ac.il/~janos/index.html
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. |
| |
Mycroft, Alan - http://www.cl.cam.ac.uk/~am21/
University of Cambridge - Semantics and compilation of programs, static analysis of programs. |
| |
Martini, Simone - http://www.cs.unibo.it/~martini/
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus. |
| |
Misra, Jayadev - http://www.cs.utexas.edu/users/misra/
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems. |
| |
Menezes, Bernard - http://www.it.iitb.ac.in/~bernard/
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing |
| |
Moore, Simon W. - http://www.cl.cam.ac.uk/~swm11/
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems. |
| |
Montanari, Angelo - http://users.dimi.uniud.it/~angelo.montanari/
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory. |
| |
Miculan, Marino - http://users.dimi.uniud.it/~marino.miculan/
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. |
| |
McCusker, Guy - http://www.cs.bath.ac.uk/~gam23/
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages. |
| |
Mukerjee, Amitabha - http://www.cse.iitk.ac.in/users/amit/index.html
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics. |
| |
McCarthy, Diana F. - http://www.informatics.sussex.ac.uk/research/groups/nlp/mccarthy/mccarthy.html
University of Sussex - Shallow parsing, semantic tagging, natural language processing. |
| |
Mayer, Helmut A. - http://www.cosy.sbg.ac.at/~helmut/helmut.html
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics. |
| |
Maes, Stephane H. - http://www.stephanemaes.com/smaes/
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition |
| |
Martín, Carme - http://www-lsi.upc.es/~martin/home_ang.html
Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases. |