WebInfoSearch Web Directory
WebInfoSearch Web Directory
| 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. | |
| 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. | |
| Martini, Simone: University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus. | |
| MartÃn, Carme: Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases. | |
| 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. | |
| Mellish, Christopher: University of Edinburgh - Natural language generation. | |
| Menezes, Bernard: Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing | |
| 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. | |
| 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 | |
| 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. |
|
