|
Top > Computers > Computer Science > People > M
[ A
| B
| C
| D
| E
| F
| G
| H
| I
| J
| K
| L
| M
| N
| O
| P
| Q
| R
| S
| T
| U
| V
| W
| X
| Y
| Z
]

|
» 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.
|

|
» 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.
|
The content of this directory is based on the Open Directory and may have been modified by clixShare
|