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