|
|
|
|
Home / Computers / Computer Science / People / D
|
|
|
|
Web Sites
|
- D'Angelo, Angelo - University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics.
www.dimi.uniud.it/~antonio
- Daugman, John - University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.
www.cl.cam.ac.uk/users/jgd1000
- Davies, Rowan - Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.
www.cs.cmu.edu/~rowan
- Dawar, Anuj - University of Cambridge - Applications of logic to computing, finite model theory, computational complexity.
www.cl.cam.ac.uk/users/ad260
- Day, Bill - Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and computer graphics.
www.billday.com
- Dearholt, Donald W. - Mississippi State University - Human-Computer Interaction, Theory and Application of Associative Graphs.
www.cs.msstate.edu/FACULTY_AND_STAFF/dearholt.html
- Dehne, Frank - School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algorithms, Parallel Data Mining and OLAP, Computational Geometry, Image Processing
www.scs.carleton.ca/~dehne
- Denning, Dorothy - Dorothy E. Denning is the Patricia and Patrick Callahan Family Professor of Computer Science and Director of the Georgetown Institute for Information Assurance at Georgetown University. She is also affiliated with the Communication, Culture, and Technology program, the Science and Technology in International Affairs program, and the Center for Peace and Security Studies. Her research is primarily related to information warfare and security.
www.cs.georgetown.edu/~denning
- Denning, Peter J. - George Mason University - Operating Systems, Workflow Management, High Performance Computing, Security, Performance Modeling.
cs.gmu.edu/faculty/denning
- Dhamdhere, Dhananjay - Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers
www.cse.iitb.ernet.in/~dmd
- Di Gianantonio, Pietro - University of Udine - Real number computability, semantics of concurrency, lambda-calculus.
www.dimi.uniud.it/~pietro
- Diwan, Ajit - Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics
www.cse.iitb.ernet.in/~aad
- Dixon, Clare - Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.
www.doc.mmu.ac.uk/STAFF/C.Dixon
- Dodgson, Neil - University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.
www.cl.cam.ac.uk/users/nad
- Duch, Wlodzislaw - Nicholas Copernicus University - Local learning, Machine Learning and Pattern Recognition, NeuroFuzzy systems, Cognition, Computational neurobiology, Applications of adaptive systems in medicine and psychiatry
www.phys.uni.torun.pl/~duch
|
|
|
|
|