|
|
|
|
Home / Computers / Computer Science / People / H
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Haas, Laura - Database query processing.
www.almaden.ibm.com/cs/people/laura
- Hannaford, Michael R. - University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.
www.cs.newcastle.edu.au/~mrh
- Hansen, Eric - Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing.
www.cs.msstate.edu/~hansen
- Hayes, Pat - University of West Florida - Knowledge representation and automatic reasoning, especially the representation of space and time and diagrammatic representations, and the philosophical foundations of AI and computer science.
www.coginst.uwf.edu/~phayes
- Heiser, Gernot - University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.
www.cse.unsw.edu.au/~gernot
- Held, Martin - University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.
www.cosy.sbg.ac.at/~held/held.html
- Henskens, Frans - University of Newcastle - Global virtual memory, architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation.
www.cs.newcastle.edu.au/~henskens
- Herman, Gabor T. - City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision
www.cs.gc.cuny.edu/~gherman
- Hesselink, Wim H. - University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.
www.cs.rug.nl/~wim
- Hodges, Julia - Mississippi State University - Artificial intelligence, knowledge representation, knowledge discovery in databases, expert systems, document understanding.
www.cs.msstate.edu/~hodges
- Hoffmann, Achim - University of New South Wales - Artificial intelligence, knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI.
www.cse.unsw.edu.au/~achim
- Hofmann, Martin - University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
www.dcs.ed.ac.uk/~mxh
- Honsell, Furio - University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical structures for semantics.
www.dimi.uniud.it/~honsell
- Houle, Michael - University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.
www.cs.usyd.edu.au/~meh
- Howell, Rodney R. - Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.
www.cis.ksu.edu/~howell
|
|
|
|
|