Directory of Resources

Home > Computers > Computer Science > People > M

Subcategories

• Mathews, Max
• McCarthy, John
• Minsky, Marvin
• Muuss, Michael

Resources in This Category

• Maes, Stephane H.

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

• Makowsky, Johann

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

• Manning, Christopher

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

• Martini, Simone

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

• Mayer, Helmut A.

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

• McCusker, Guy

  http://www.cs.bath.ac.uk/~gam23/
  School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.

• Menezes, Bernard

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

• Miculan, Marino

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

• Misra, Jayadev

  http://www.cs.utexas.edu/users/misra/
  University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

• Moddemeijer, Rudy

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

• Montanari, Angelo

  http://users.dimi.uniud.it/~angelo.montanari/
  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.

• Moore, Simon W.

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

• Mukerjee, Amitabha

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

• Mukund, Madhavan

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

• Mycroft, Alan

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

 

Home > Computers > Computer Science > People > M

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us