M

» Maes, Stephane H.
   IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition

   
   http://www.stephanemaes.com/smaes/

» Maheshwari, Piyush
   University of New South Wales - Parallel and distributed computing, heterogeneous distributed computing, groupware and workflow, electronic commerce, network computing, software engineering, object-oriented design and technology.

   
   http://www.cse.unsw.edu.au/~piyush/

» Makowsky, Johann
   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

» Manning, Christopher
   Stanford University - Syntax, computational linguistics.

   
   http://www-nlp.stanford.edu/~manning/

» Martini, Simone
   University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.

   
   http://www.cs.unibo.it/~martini/

» Martín, Carme
   Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.

   
   http://www-lsi.upc.es/~martin/home_ang.html

» Mayer, Helmut A.
   University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.

   
   http://www.cosy.sbg.ac.at/~helmut/helmut.html

» McCarthy, Diana F.
   University of Sussex - Shallow parsing, semantic tagging, natural language processing.

   
   http://www.informatics.sussex.ac.uk/research/groups/nlp/mccarthy/mccarthy.html

» McCusker, Guy
   School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.

   
   http://www.cs.bath.ac.uk/~gam23/

» Menezes, Bernard
   Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing

   
   http://www.it.iitb.ac.in/~bernard/

» Miculan, Marino
   University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.

   
   http://users.dimi.uniud.it/~marino.miculan/

» Misevicius, Alfonsas
   Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.

   
   http://www.soften.ktu.lt/~misevi/index_en.html

» Misra, Jayadev
   University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

   
   http://www.cs.utexas.edu/users/misra/

» Moddemeijer, Rudy
   University of Groningen - Image and signal processing, information theory,model selection, Modula-3.

   
   http://www.cs.rug.nl/~rudy/

» Montanari, Angelo
   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.

   
   http://users.dimi.uniud.it/~angelo.montanari/

» Moore, Simon W.
   University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

   
   http://www.cl.cam.ac.uk/~swm11/

» Mukerjee, Amitabha
   Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.

   
   http://www.cse.iitk.ac.in/users/amit/index.html

» Mukund, Madhavan
   Chennai Mathematical Institute - logic and models for concurrency

   
   http://www.cmi.ac.in/~madhavan

» Muthuvelan, K.P.
   Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.

   
   http://www.ittc.ku.edu/~kpm

» Mycroft, Alan
   University of Cambridge - Semantics and compilation of programs, static analysis of programs.

   
   http://www.cl.cam.ac.uk/~am21/