Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in People/M
Top
:
Computers
:
Computer Science
:
People
:
M
(15)
[
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
]
Mathews, Max
@
(4)
McCarthy, John
@
(3)
Minsky, Marvin
@
(9)
Muuss, Michael
@
(5)
Maes, Stephane H.
 IBM T. J. Watson Research Centre  Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
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.
Martini, Simone
 University of Bologna, Italy  Type systems for programming languages, logic in computer science, lambdacalculus.
Mayer, Helmut A.
 University of Salzburg  Natural computation, image processing, parallel computation, software engineering, and robotics.
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 lambdacalculus.
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, Modula3.
Montanari, Angelo
 University of Udine  Logical specifications of realtime systems, temporal and objectoriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
Moore, Simon W.
 University of Cambridge  Selftimed circuits, multithreaded processor design, realtime 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
Mycroft, Alan
 University of Cambridge  Semantics and compilation of programs, static analysis of programs.
"
M
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982015 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: December 8, 2013 at 1:27:21 UTC 
edit