| LTN |
H: Computer Science People H:  Hopper, Grace Murray: Murray Hesselink, Wim H.Computers: Hesselink, People H University of Groningen - Nondeterminacy Wim H. predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems. Hansen, EricComputers: Hansen, People H Mississippi State University - Artificial intelligence Eric planning and reasoning under uncertainty, and resource-bounded computing. Houle, MichaelComputers: Houle, People H University of Sydney - Algorithmics Michael including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms. Honsell, FurioComputers: Honsell, People H University of Udine - Lambda calculus; foundations Furio 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. - HComputers: Howell, People H Kansas State University - Self-stabilizing systems Rodney R. H real-time scheduling, Petri nets, and computational complexity. Henskens, FransComputers: Henskens, People H University of Newcastle - Global virtual memory Frans architectural and operating system support for persistence, resilience and availability in database systems, persistent stores for bulk data storage and manipulation. Heiser, GernotComputers: Heiser, People H University of New South Wales - Operating systems and distributed systems Gernot numerical modelling of silicon solar cells. Herman, Gabor T.Computers: Herman, People H City University of New York - Image Reconstruction from Projections Gabor T. Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision. Hannaford, Michael R.Computers: Hannaford, People H University of Newcastle - Object-oriented software engineering Michael R. object-oriented programming, computer architecture. Held, Martin - HComputers: Held, People H University of Salzburg - Computational geometry Martin H computer graphics, program design, algorithms and data structures, computer-aided design and manufacturing. Hoffmann, Achim - HComputers: Hoffmann, People H University of New South Wales - Artificial intelligence Achim H knowledge-based systems, intelligent data analysis, machine learning, knowledge acquisition, theory of neural networks, philosophical foundations of AI. Hayes, PatComputers: Hayes, People H University of West Florida - Knowledge representation and automatic reasoning Pat especially the representation of space and time and diagrammatic representations, and the philosophical foundations of AI and computer science. Hofmann, MartinComputers: Hofmann, People H University of Edinburgh - Type theory Martin principles of programming languages, semantics, category theory, mathematical logic, formal methods. Halper, Nick - HComputers: Halper, People H University of Magdeburg - Computer graphics Nick H non-photorealistic rendering, camera AI, computer games, real-time rendering. Hodges, JuliaComputers: Hodges, People H Mississippi State University - Artificial intelligence Julia knowledge representation, knowledge discovery in databases, expert systems, document understanding. Remembering Grace Murray Hopper: A Legend in Her Own TimeComputers: Remembering, People H · Biography by Elizabeth Dickason Grace Murray Hopper: A Legend in Her Own Time . Grace Murray Hopper: Pioneer Computer Scientist - HComputers: Grace, People H · Brief biography and two photographs Murray Hopper: Pioneer Computer Scientist H . A Day in the Life of...Computer Science People - Archive of short biographies of how people in computer science/management information science spend their days in the Life of.. Hosted by Crossroads, the student magazine of the Association for Computing Machinery. HomePageSearchComputer Science People - Searchtool for Personal Home Pages of Computer Scientists HomePageSearch Provides more than 75000 Links to Personal Home Pages of Computer Scientists. CS Faculty LinksComputer Science People - List of Schools with Computer Science Departments Links linked directly to their faculty lists. | |||||||