www.manages.com - Open Directory

Directory : Computers : Computer Science : People : M :

Description



  • Alexei Miasnikov. Home Page - Computational Algebra, Whitehead method, Andrews-Curtis conjecture, Data mining, Pattern Recognition, Genetic Algorithms, Heuristic methods, Group Theory, Average complexity, algorithm
  • Maes, Stephane H. - IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
  • Mahajan, Meena - Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized Complexity.
  • 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.
  • Majerus, Laura - "Intellectual property protection and counseling in the areas of software and computer systems."
  • Makowsky, Johann - The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
  • Malcolm, Christopher - University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
  • Manning, Christopher - Stanford University - Syntax, computational linguistics.
  • Martín, Carme - Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
  • Martini, Simone - University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
  • Mayer, Helmut A. - University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
  • Mazzanti, Stefano - University of Udine - Computability theory, semantics of programming languages, universal algebra.
  • McAdam, Bruce - Robert Gordon University - Repairing Type Errors in Functional Programs.
  • McCarthy, Diana F. - University of Sussex - Shallow parsing, semantic tagging, natural language processing.
  • McCusker, Guy - School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
  • Mellish, Christopher - University of Edinburgh - Natural language generation.
  • Michail, Amir - University of Washington - Techniques to extract software reuse experience from a collection of software systems
  • Miculan, Marino - University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
  • Miller, Mirka - University of Newcastle - Optimal networks, constructions of large graphs and digraphs, data security, security of statistical databases, combinatorics and its applications.
  • Misevicius, Alfonsas - Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness.
  • Misra, Jayadev - University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
  • Moddemeijer, Rudy - University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
  • 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.
  • Moona, Rajat - Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
  • Moore, Simon W. - University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
  • Mukerjee, Amitabha - Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
  • Mukund, Madhavan - Chennai Mathematical Institute - logic and models for concurrency
  • Mulmuley, Ketan - Indian Institute of Technology, Bombay - Complexity theory, Algebraic Geometry, Computational Geometry, Parallel algorithms, Semantics of Programming Languages
  • Muthuvelan, K.P. - Graduate student, University of Kansas. Working in the area of routing protocols, network security, information retrieval and operating systems.
  • Mycroft, Alan - University of Cambridge - Semantics and compilation of programs, static analysis of programs.
  • Steve Mycynek - A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
  • Search our Wiki for People - Find more information about this subject by clicking here

This category needs an editor


Last update : 2003-02-23 08:06:50

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor