Mathews, Max 7
McCarthy, John 4
Minsky, Marvin 12
Muuss, Michael 5
| |
 Maes, Stephane H.Maes, Stephane H.
 IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
|
Maheshwari, PiyushMaheshwari, 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.
|
Makowsky, JohannMakowsky, Johann
 The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
|
Manning, ChristopherManning, Christopher
 Stanford University - Syntax, computational linguistics.
|
Martín, CarmeMartín, Carme
 Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
|
Martini, SimoneMartini, Simone
 University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
|
Mayer, Helmut A.Mayer, Helmut A.
 University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
|
McCarthy, Diana F.McCarthy, Diana F.
 University of Sussex - Shallow parsing, semantic tagging, natural language processing.
|
McCusker, GuyMcCusker, Guy
 School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
|
Menezes, BernardMenezes, Bernard
 Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
|
Miculan, MarinoMiculan, Marino
 University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
|
Misevicius, AlfonsasMisevicius, Alfonsas
 Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.
|
Misra, JayadevMisra, Jayadev
 University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
|
Moddemeijer, RudyModdemeijer, Rudy
 University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
|
Montanari, AngeloMontanari, 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.
|
Moore, Simon W.Moore, Simon W.
 University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
|
Mukerjee, AmitabhaMukerjee, Amitabha
 Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
|
Mukund, MadhavanMukund, Madhavan
 Chennai Mathematical Institute - logic and models for concurrency
|
Muthuvelan, K.P.Muthuvelan, K.P.
 Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.
|
Mycroft, AlanMycroft, Alan
 University of Cambridge - Semantics and compilation of programs, static analysis of programs.
|
|
