Top : Computers : Computer Science : People :
M
Categories
| Mathews, Max @ Minsky, Marvin @ Muuss, Michael @ |
Websites
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
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
site exerpt
J.A. Makowsky, Home page Logic and its interaction with Combinatorics, Graph Theory and Knot Theory Mathematical Logic and its interaction with Computer Science Database Theory Finite Model Theory and Descriptive Complexity See also Finite Model Theory Homepage Recent papers and preprints (in Logic and...University of Sussex - Shallow parsing, semantic tagging, natural language processing.
http://www.cogs.susx.ac.uk/lab/nlp/mccarthy/mccarthy.html
University of Edinburgh - Natural language generation.
http://www.dai.ed.ac.uk/daidb/people/homes/chrism/
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/
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/
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
http://www.cs.rug.nl/~rudy/
Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
http://www-lsi.upc.es/~martin/home_ang.html
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
http://www.cosy.sbg.ac.at/~helmut/helmut.html
University of Washington - Techniques to extract software reuse experience from a collection of software systems
http://www.cs.washington.edu/homes/amir/
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
http://www.cs.utexas.edu/users/misra/
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/
University of Cambridge - Semantics and compilation of programs, static analysis of programs.
http://www.cl.cam.ac.uk/users/am/
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
http://www.cse.iitk.ac.in/users/amit/index.html
A senior in Computer Science in the University of Illinois College of Engineering with an application sequence in architecture.
http://www.uiuc.edu/~mycynek/
Indian Institute of Technology, Kanpur - Computer Architecture, VLSI Design, Operating Systems, Embedded Systems.
http://www.cse.iitk.ac.in/~moona/index.html
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
http://www.stephanemaes.com/smaes/
Chennai Mathematical Institute - logic and models for concurrency
http://www.cmi.ac.in/~madhavan
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
School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.
http://www.cogs.susx.ac.uk/users/guym/
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/
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
http://www.cs.unibo.it/~martini/
Stanford University - Syntax, computational linguistics.
http://www-nlp.stanford.edu/~manning/
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
http://www.it.iitb.ac.in/~bernard/
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/index_en.html