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.
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.
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.
Results: Previous 1 2 3 4 5 Next
Site
Menu 
