r
Search:

Internet guide

Current Directory:

Computers > Computer Science > People > M

Directories




      Computers > Computer Science > People > M

      Links:

      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.
      http://www.dimi.uniud.it/~montana/index.html

      Makowsky, Johann

      The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
      http://www.cs.technion.ac.il/~janos/index.html

      McCarthy, Diana F.

      University of Sussex - Shallow parsing, semantic tagging, natural language processing.
      http://www.cogs.susx.ac.uk/lab/nlp/mccarthy/mccarthy.html

      Mellish, Christopher

      University of Edinburgh - Natural language generation.
      http://www.dai.ed.ac.uk/daidb/people/homes/chrism/

      Malcolm, Christopher

      University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
      http://www.dai.ed.ac.uk/daidb/people/homes/cam/

      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.
      http://www.cse.unsw.edu.au/~piyush/

      Moddemeijer, Rudy

      University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
      http://www.cs.rug.nl/~rudy/

      Martín, Carme

      Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
      http://www-lsi.upc.es/~martin/home_ang.html

      Mayer, Helmut A.

      University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
      http://www.cosy.sbg.ac.at/~helmut/helmut.html

      Michail, Amir

      University of Washington - Techniques to extract software reuse experience from a collection of software systems
      http://www.cs.washington.edu/homes/amir/

      Misra, Jayadev

      University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
      http://www.cs.utexas.edu/users/misra/
      Free thumbnail preview by Thumbshots.org
      modified by vang.net

      Moore, Simon W.

      University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
      http://www.cl.cam.ac.uk/users/swm11/

      Mycroft, Alan

      University of Cambridge - Semantics and compilation of programs, static analysis of programs.
      http://www.cl.cam.ac.uk/users/am/

      Mukerjee, Amitabha

      Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
      http://www.cse.iitk.ac.in/users/amit/index.html

      Steve Mycynek

      A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
      http://www.uiuc.edu/~mycynek/

      Mahajan, Meena

      Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized Complexity.
      http://www.imsc.ernet.in/~meena/

      Moona, Rajat

      Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
      http://www.cse.iitk.ac.in/~moona/index.html

      Maes, Stephane H.

      IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
      http://www.stephanemaes.com/smaes/

      Mukund, Madhavan

      Chennai Mathematical Institute - logic and models for concurrency
      http://www.cmi.ac.in/~madhavan

      Muthuvelan, K.P.

      Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.
      http://www.ittc.ku.edu/~kpm

      McCusker, Guy

      School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
      http://www.cogs.susx.ac.uk/users/guym/

      Miculan, Marino

      University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
      http://www.dimi.uniud.it/~miculan/

      Martini, Simone

      University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
      http://www.cs.unibo.it/~martini/

      Manning, Christopher

      Stanford University - Syntax, computational linguistics.
      http://www-nlp.stanford.edu/~manning/

      Menezes, Bernard

      Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
      http://www.it.iitb.ac.in/~bernard/

      Search by keyword:

    • mathews, max
    • minsky, marvin
    • muuss, michael
    • Help build the largest human-edited directory on the web.
      Submit a Site - Open Directory Project - Become an Editor

      r
      Homepage
      Contact the webmaster
      Bookmark this page