Indian Institute of Technology, Kanpur - Artificial Intelligence
, Computer Vision, Geometric Modelling, Robotics.
Muthuvelan, K.P.
www.ittc.ku.edu/~kpm
Working in the
area of routing protocols, network security, information retrieval and operating systems.
misra multithreaded
Manning, Christopher
Misevicius, Alfonsas
University of Groningen - Image and signal processing, information theory,model selection
, Modula-3.
www.uiuc.edu/~mycynek/
deductive heterogeneous
Kaunas University of Technology.Graduate student, University of Kansas
.
minsky maes
Mayer, Helmut A.
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce
, Java Security, Parallel Computing
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.
temporal randomness
IBM T.
www-nlp.stanford.edu/~manning/
University of Salzburg - Natural
computation, image processing, parallel computation, software engineering, and robotics.School of Cognitive
and Computing Sciences, University of Sussex - Semantics of programming languages.University of Udine
- Semantics of programming languages, formal verification of process/program properties, logical frameworks
based on typed lambda-calculus.
Moore, Simon W.
Steve Mycynek
multithreaded randomness
University of Sussex - Shallow parsing, semantic
tagging, natural language processing.
Mycroft, Alan
timed montanari
Maheshwari, Piyush
University of Bologna, Italy - Type
systems for programming languages, logic in computer science, lambda-calculus.
Moddemeijer, Rudy
www.cmi
.ac.in/~madhavan
menezes amitabha
Stanford University - Syntax, computational linguistics.
Mukund, Madhavan
temporal mycroft
www.cs.utexas
.edu/users/misra/
mellish misra
www.cs.technion.ac.il/~janos/index.html
McCusker, Guy
maes heterogeneous
University of Edinburgh - Natural
language generation.
Montanari, Angelo
multithreaded deductive
J.Universitat Polit cnica de Catalunya - Integrity constraints
, temporal databases, deductive databases.
Mellish, Christopher
www.dimi.uniud.it/~miculan/
muuss maheshwari
Watson Research
Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing
, Pattern Recognition
modal stephane
Maes, Stephane H.
www.cse.unsw.edu.au/~piyush/
www.cogs.susx.ac.uk/lab/nlp/mccarthy
/mccarthy.html
A senior in Computer Science in the University of Illinois College of Engineering with
an application sequence in architecture.
stephane minsky
mccusker maheshwari
Makowsky, Johann
Menezes, Bernard
Miculan, Marino
University of
Cambridge - Semantics and compilation of programs, static analysis of programs.
alfonsas stephane
www.dai.ed.ac.uk/daidb
/people/homes/cam/
University of Edinburgh - Architectural and representational issues in automated assembly
, robot and sensor technology, Philosophical issues and social implications of artificial intelligence
. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems
, computer-aided design, theory of randomness.
mycroft amitabha
www.stephanemaes.com/smaes/
Martini, Simone
University of
Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering
of complex systems.
stephane modal
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.
McCarthy, Diana F.
www.dai.ed.ac.uk/daidb/people/homes/chrism
/
heuristics technion
Misra, Jayadev
menezes mccusker
Mart n, Carme
www.cosy.sbg.ac.at/~helmut/helmut.html
www.cogs.susx.ac.uk/users/guym/
www
.dimi.uniud.it/~montana/index.html
www.cl.cam.ac.uk/users/am/
heuristics amitabha
multithreaded maes
www.soften.ktu.lt/~misevi/index_en.html
www
.cse.iitk.ac.in/users/amit/index.html
Chennai Mathematical Institute - logic and models for concurrency
multithreaded maes
Malcolm, Christopher
www.cl.cam.ac.uk/users/swm11/
timed mellish
The Technion - Mathematical logic and its interaction
with computer science, database theory, finite model theory, and descriptive complexity.
www.cs.unibo
.it/~martini/
www-lsi.upc.es/~martin/home_ang.html
www.it.iitb.ac.in/~bernard/
University of Texas - Parallel
and distributed computing, specification and design of synchronous and asynchronous systems.
www.cs.rug
.nl/~rudy/
Mukerjee, Amitabha
mellish stephane
