| Directory > Computers > Computer Science > People Martin, Ursula
Queen Mary University of London - Symbolic computation, computational logic and artificial
intelligence. Director of the Women@CL project.
http://nick.dcs.qmul.ac.uk/~uhmm/
Reviews Rating: Not yet Rated
Whois Check
Manning, Christopher
Stanford University - Syntax, computational linguistics.
http://www-nlp.stanford.edu/~manning/
Reviews Rating: Not yet Rated
Whois Check
Misevicius, Alfonsas
Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for
combinatorial optimization problems, computer-aided design, theory of randomness.
http://www.soften.ktu.lt/~misevi/
Reviews Rating: Not yet Rated
Whois Check
Martini, Simone
University of Bologna, Italy - Type systems for programming languages, logic in computer science,
lambda-calculus.
http://www.cs.unibo.it/~martini/
Reviews Rating: Not yet Rated
Whois Check
McAdam, Bruce
Robert Gordon University - Repairing Type Errors in Functional Programs.
http://www.scms.rgu.ac.uk/staff/bjm/
Reviews Rating: Not yet Rated
Whois Check
Miculan, Marino
University of Udine - Semantics of programming languages, formal verification of process/program
properties, logical frameworks based on typed lambda-calculus.
http://www.dimi.uniud.it/~miculan/
Reviews Rating: Not yet Rated
Whois Check
McCusker, Guy
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming
languages.
http://www.cogs.susx.ac.uk/users/guym/
Reviews Rating: Not yet Rated
Whois Check
Muthuvelan, K.P.
Graduate student, University of Kansas. Working in the area of routing protocols, network
security, information retrieval and operating systems.
http://www.ittc.ku.edu/~kpm
Reviews Rating: Not yet Rated
Whois Check
Mukund, Madhavan
Chennai Mathematical Institute - logic and models for concurrency
http://www.cmi.ac.in/~madhavan
Reviews Rating: Not yet Rated
Whois Check
Maes, Stephane H.
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions,
Speech recognition, Signal Processing, Pattern Recognition
http://www.stephanemaes.com/smaes/
Reviews Rating: Not yet Rated
Whois Check
Moona, Rajat
Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems,
Embedded Systems.
http://www.cse.iitk.ac.in/~moona/index.html
Reviews Rating: Not yet Rated
Whois Check
Mahajan, Meena
Institute of Mathematical Sciences. Chennai - Circuit Complexity, Interactive and Probabilistically
Checkable Proofs, Counting Classes, Discrete Algorithms, Parallel Algorithms, Parameterized
Complexity.
http://www.imsc.ernet.in/~meena/
Reviews Rating: Not yet Rated
Whois Check
Mulmuley, Ketan
Indian Institute of Technology, Bombay - Complexity theory, Algebraic Geometry, Computational
Geometry, Parallel algorithms, Semantics of Programming Languages
http://www.cse.iitb.ernet.in/~ketan/
Reviews Rating: Not yet Rated
Whois Check
Steve Mycynek
A senior in Computer Science in the University of Illinois College of Engineering with an
application sequence in architecture.
http://www.uiuc.edu/~mycynek/
Reviews Rating: Not yet Rated
Whois Check
Mukerjee, Amitabha
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric
Modelling, Robotics.
http://www.cse.iitk.ac.in/users/amit/index.html
Reviews Rating: Not yet Rated
Whois Check
Mycroft, Alan
University of Cambridge - Semantics and compilation of programs, static analysis of programs.
http://www.cl.cam.ac.uk/users/am/
Reviews Rating: Not yet Rated
Whois Check
Moore, Simon W.
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems
and the engineering of complex systems.
http://www.cl.cam.ac.uk/users/swm11/
Reviews Rating: Not yet Rated
Whois Check
Misra, Jayadev
University of Texas - Parallel and distributed computing, specification and design of synchronous
and asynchronous systems.
http://www.cs.utexas.edu/users/misra/
Reviews Rating: Not yet Rated
Whois Check
Michail, Amir
University of Washington - Techniques to extract software reuse experience from a collection of
software systems
http://www.cs.washington.edu/homes/amir/
Reviews Rating: Not yet Rated
Whois Check
Mayer, Helmut A.
University of Salzburg - Natural computation, image processing, parallel computation, software
engineering, and robotics.
http://www.cosy.sbg.ac.at/~helmut/helmut.html
Reviews Rating: Not yet Rated
Whois Check
MartÃn, Carme
Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive
databases.
http://www-lsi.upc.es/~martin/home_ang.html
Reviews Rating: Not yet Rated
Whois Check
Moddemeijer, Rudy
University of Groningen - Image and signal processing, information theory,model selection,
Modula-3.
http://www.cs.rug.nl/~rudy/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cse.unsw.edu.au/~piyush/
Reviews Rating: Not yet Rated
Whois Check
Malcolm, Christopher
University of Edinburgh - Architectural and representational issues in automated assembly, robot
and sensor technology, Philosophical issues and social implications of artificial intelligence.
http://www.dai.ed.ac.uk/daidb/people/homes/cam/
Reviews Rating: Not yet Rated
Whois Check
Mellish, Christopher
University of Edinburgh - Natural language generation.
http://www.dai.ed.ac.uk/daidb/people/homes/chrism/
Reviews Rating: Not yet Rated
Whois Check
McCarthy, Diana F.
University of Sussex - Shallow parsing, semantic tagging, natural language processing.
http://www.cogs.susx.ac.uk/lab/nlp/mccarthy/mccarthy.html
Reviews Rating: Not yet Rated
Whois Check
Makowsky, Johann
The Technion - Mathematical logic and its interaction with computer science, database theory,
finite model theory, and descriptive complexity.
http://www.cs.technion.ac.il/~janos/index.html
Reviews Rating: Not yet Rated
Whois Check
Miller, Mirka
University of Newcastle - Optimal networks, constructions of large graphs and digraphs, data
security, security of statistical databases, combinatorics and its applications.
http://www.cs.newcastle.edu.au/~mirka/
Reviews Rating: Not yet Rated
Whois Check
Mazzanti, Stefano
University of Udine - Computability theory, semantics of programming languages, universal algebra.
http://www.dimi.uniud.it/~stefano/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dimi.uniud.it/~montana/index.html
Reviews Rating: Not yet Rated
Whois Check
|
