| Directory > Computers > Computer Science > People Halper, Nick
University of Magdeburg - Computer graphics, non-photorealistic rendering, camera AI, computer
games, real-time rendering.
http://isgwww.cs.uni-magdeburg.de/~nick/
Reviews Rating: Not yet Rated
Whois Check
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
http://www.cs.gc.cuny.edu/~gherman/
Reviews Rating: Not yet Rated
Whois Check
Howell, Rodney R.
Kansas State University - Self-stabilizing systems, real-time scheduling, Petri nets, and
computational complexity.
http://www.cis.ksu.edu/~howell/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cs.rug.nl/~wim/
Reviews Rating: Not yet Rated
Whois Check
Held, Martin
University of Salzburg - Computational geometry, computer graphics, program design, algorithms and
data structures, computer-aided design and manufacturing.
http://www.cosy.sbg.ac.at/~held/held.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cse.unsw.edu.au/~achim/
Reviews Rating: Not yet Rated
Whois Check
Heiser, Gernot
University of New South Wales - Operating systems and distributed systems, numerical modelling of
silicon solar cells.
http://www.cse.unsw.edu.au/~gernot/
Reviews Rating: Not yet Rated
Whois Check
Hofmann, Martin
University of Edinburgh - Type theory, principles of programming languages, semantics, category
theory, mathematical logic, formal methods.
http://www.dcs.ed.ac.uk/~mxh/
Reviews Rating: Not yet Rated
Whois Check
Hannaford, Michael R.
University of Newcastle - Object-oriented software engineering, object-oriented programming,
computer architecture.
http://www.cs.newcastle.edu.au/~mrh/
Reviews Rating: Not yet Rated
Whois Check
Houle, Michael
University of Sydney - Algorithmics, including computational geometry, graph algorithms,
combinatorial geometry, optimization, and parallel algorithms.
http://www.cs.usyd.edu.au/~meh/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cs.newcastle.edu.au/~henskens/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dimi.uniud.it/~honsell/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.coginst.uwf.edu/~phayes/
Reviews Rating: Not yet Rated
Whois Check
Hodges, Julia
Mississippi State University - Artificial intelligence, knowledge representation, knowledge
discovery in databases, expert systems, document understanding.
http://www.cs.msstate.edu/~hodges
Reviews Rating: Not yet Rated
Whois Check
Hansen, Eric
Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty,
and resource-bounded computing.
http://www.cs.msstate.edu/~hansen
Reviews Rating: Not yet Rated
Whois Check
Haas, Laura
IBM Almaden Research Center - Database query processing.
http://www.almaden.ibm.com/cs/people/laura/
Reviews Rating: Not yet Rated
Whois Check
|
