H

H

• Hopper, Grace Murray@

H Links

• 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.
  
• Howell, Rodney R. Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and computational complexity.
  
• Heller, Rachelle S. George Washington University - Multimedia taxonomy.
  
• Haas, Laura Database query processing.
  
• Hansen, Eric Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing.
  
• 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.
  
• 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.
  
• Hofmann, Martin University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
  
• Held, Martin University of Salzburg - Computational geometry, computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing.
  
• Houle, Michael University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms.
  
• Heiser, Gernot University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells.
  
• Hannaford, Michael R. University of Newcastle - Object-oriented software engineering, object-oriented programming, computer architecture.
  
• 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.
  
• Hodor, Lucien Lan Administrator.
  
• Hodges, Julia Mississippi State University - Artificial intelligence, knowledge representation, knowledge discovery in databases, expert systems, document understanding.
  
• 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.