Directory of Resources

Home > Computers > Computer Science > People > H

Subcategories

• Hopper, Grace Murray

Resources in This Category

• Haas, Laura

  http://www.almaden.ibm.com/cs/people/laura/
  IBM Almaden Research Center - Database query processing.

• Hannaford, Michael R.

  http://www.cs.newcastle.edu.au/~mrh/
  University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.

• Heiser, Gernot

  http://www.cse.unsw.edu.au/~gernot/
  University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.

• Held, Martin

  http://www.cosy.sbg.ac.at/~held/held.html
  University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.

• Henskens, Frans

  http://www.cs.newcastle.edu.au/~henskens/
  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.

• Herman, Gabor T.

  http://www.dig.cs.gc.cuny.edu/~gabor/
  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

• Hesselink, Wim H.

  http://www.cs.rug.nl/~wim/
  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.

• Hoffmann, Achim

  http://www.cse.unsw.edu.au/~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.

• Hofmann, Martin

  http://www.tcs.informatik.uni-muenchen.de/~mhofmann/
  University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.

• Honsell, Furio

  http://users.dimi.uniud.it/~furio.honsell/
  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.

• Howell, Rodney R.

  http://people.cis.ksu.edu/~rhowell/
  Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.

 

Home > Computers > Computer Science > People > H

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us