[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]
- Maes, Stephane H. - - IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognitio.
|
- 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.
|
- Makowsky, Johann - - The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
|
- Malcolm, Christopher - - University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
|
- MartÃn, Carme - - Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
|
- Martini, Simone - - University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
|
- Mayer, Helmut A. - - University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
|
- McCarthy, Diana F. - - University of Sussex - Shallow parsing, semantic tagging, natural language processing.
|
- McCusker, Guy - - School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
|
- Menezes, Bernard - - Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computin.
|
- Michail, Amir - - University of Washington - Techniques to extract software reuse experience from a collection of software system.
|
- Miculan, Marino - - University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
|
- Misevicius, Alfonsas - - Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.
|
- Misra, Jayadev - - University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
|
- Moddemeijer, Rudy - - University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
|
- 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.
|
- Moona, Rajat - - Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
|
- Moore, Simon W. - - University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
|
- Mukerjee, Amitabha - - Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
|
- Mukund, Madhavan - - Chennai Mathematical Institute - logic and models for concurrenc.
|
- Muthuvelan, K.P. - - Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.
|
- Mycroft, Alan - - University of Cambridge - Semantics and compilation of programs, static analysis of programs.
|
- Steve Mycynek - - A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
|
|