M

M

• Minsky, Marvin@
• Muuss, Michael@

M Links

• Michail, Amir University of Washington - Techniques to extract software reuse experience from a collection of software systems
  
• Mellish, Christopher University of Edinburgh - Natural language generation.
  
• Martini, Simone University of Udine - Type systems for programming languages, logic in computer science, lambda-calculus.
  
• Mazzanti, Stefano University of Udine - Computability theory, semantics of programming languages, universal algebra.
  
• 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.
  
• Mycroft, Alan University of Cambridge - Semantics and compilation of programs, static analysis of programs.
  
• 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.
  
• Mahajan, Meena Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized Complexity.
  
• Mukerjee, Amitabha Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
  
• Manning, Christopher University of Sydney - Syntax, computational linguistics.
  
• Mulmuley, Ketan Indian Institute of Technology, Bombay - Complexity theory, Algebraic Geometry, Computational Geometry, Parallel algorithms, Semantics of Programming Languages
  
• Martín, Carme Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
  
• 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.
  
• Steve Mycynek A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
  
• Malcolm, Christopher University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
  
• Majerus, Laura "Intellectual property protection and counseling in the areas of software and computer systems."
  
• Menezes, Bernard Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
  
• Misra, Jayadev University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
  
• Moona, Rajat Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
  
• Miller, Mirka University of Newcastle - Optimal networks, constructions of large graphs and digraphs, data security, security of statistical databases, combinatorics and its applications.
  
• Miller, Nancy E. Mississippi State University - Curriculum, file structures, database systems, intelligent computer aided instruction, intelligent tutoring.
  
• Moore, Simon W. University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
  
• McCarthy, Diana F. University of Sussex - Shallow parsing, semantic tagging, natural language processing.
  
• Machiraju, Raghu Mississippi State University - Computer graphics, image analysis.
  
• Makowsky, Johann The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.