Subdirectories of M:
Websites on M: Maes, Stephane H. IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition 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. Makowsky, Johann The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. 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. 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. Menezes, Bernard Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing Miculan, Marino University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. 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. 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 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.
|
|