|
|
|
|
Home / Computers / Computer Science / People / M
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Alexei Miasnikov. Home Page - Computational Algebra, Whitehead method, Andrews-Curtis conjecture, Data mining, Pattern Recognition, Genetic Algorithms, Heuristic methods, Group Theory, Average complexity, algorithm
www.m-lair.com
- Maes, Stephane H. - IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
www.stephanemaes.com/smaes
- Mahajan, Meena - Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized Complexity.
www.imsc.ernet.in/~meena
- 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.
www.cse.unsw.edu.au/~piyush
- Majerus, Laura - "Intellectual property protection and counseling in the areas of software and computer systems."
www.fenwick.com/html/majerus.htm
- Makowsky, Johann - The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
www.cs.technion.ac.il/~janos/index.html
- Malcolm, Christopher - University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
www.dai.ed.ac.uk/daidb/people/homes/cam
- Manning, Christopher - University of Sydney - Syntax, computational linguistics.
www.sultry.arts.usyd.edu.au/manning
- MartÃn, Carme - Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
www-lsi.upc.es/~martin/home_ang.html
- Martin, Ursula - University of St Andrews - Symbolic computation, computational logic and artificial intelligence.
www-theory.dcs.st-and.ac.uk/~um
- Martini, Simone - University of Udine - Type systems for programming languages, logic in computer science, lambda-calculus.
www.dimi.uniud.it/~martini
- Mayer, Helmut A. - University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
www.cosy.sbg.ac.at/~helmut/helmut.html
- Mazzanti, Stefano - University of Udine - Computability theory, semantics of programming languages, universal algebra.
www.dimi.uniud.it/~stefano
- McCarthy, Diana F. - University of Sussex - Shallow parsing, semantic tagging, natural language processing.
www.cogs.susx.ac.uk/lab/nlp/mccarthy/mccarthy.html
- Mellish, Christopher - University of Edinburgh - Natural language generation.
www.dai.ed.ac.uk/daidb/people/homes/chrism
- Menezes, Bernard - Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
www.it.iitb.ernet.in/~bernard
- Michail, Amir - University of Washington - Techniques to extract software reuse experience from a collection of software systems
www.cs.washington.edu/homes/amir
- Miller, Mirka - University of Newcastle - Optimal networks, constructions of large graphs and digraphs, data security, security of statistical databases, combinatorics and its applications.
www.cs.newcastle.edu.au/~mirka
- Misra, Jayadev - University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
www.cs.utexas.edu/users/misra
- Moddemeijer, Rudy - University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
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.
www.dimi.uniud.it/~montana/index.html
- Moona, Rajat - Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
www.cse.iitk.ac.in/~moona/index.html
- Moore, Simon W. - University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
www.cl.cam.ac.uk/users/swm11
- Mukerjee, Amitabha - Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
www.cse.iitk.ac.in/users/amit/index.html
- Mukund, Madhavan - Chennai Mathematical Institute - logic and models for concurrency
www.cmi.ac.in/~madhavan
- Mulmuley, Ketan - Indian Institute of Technology, Bombay - Complexity theory, Algebraic Geometry, Computational Geometry, Parallel algorithms, Semantics of Programming Languages
www.cse.iitb.ernet.in/~ketan
- Mycroft, Alan - University of Cambridge - Semantics and compilation of programs, static analysis of programs.
www.cl.cam.ac.uk/users/am
- Steve Mycynek - A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
www.uiuc.edu/~mycynek
|
|
|
|
|