| | - Furio Honsell
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://users.dimi.uniud.it/~furio.honsell/
|
| |
- Rodney R Howell
Kansas State University Selfstabilizing systems, realtime scheduling, Petri nets, and computational complexity. ...
http://people.cis.ksu.edu/~rhowell/
|
| |
|
- University of Salzburg
Computational geometry, computer graphics, program design, algorithms and data structures, computeraided design and manufacturing. ...
http://www.cosy.sbg.ac.at/~held/held.html
| | |
| |
- Martin Hofmann
University of Edinburgh Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods. ...
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/
|
| |
- Wim H Hesselink
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/
| | - Frans Henskens
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/
|
| |
- Michael R
University of Newcastle Objectoriented software engineering, objectoriented programming, computer architecture. ...
http://www.cs.newcastle.edu.au/~mrh/
| | - Nick Halper
University of Magdeburg Computer graphics, nonphotorealistic rendering, camera AI, computer games, realtime rendering. ...
http://www.halper.de/
|
| |
- The Michael Fourman
My main research interest is in algorithmics the design and analysis of algorithms, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms. My recent research has focused on topics in a numbe ...
http://www.cs.usyd.edu.au/~meh/
| | - Haas, Laura IBM Almaden Research Center Database query processing.
My technical interests include all aspects of helping people find information. Ive mostly worked in the area of distributed information systems, especially information integration. For the last few years, I’ve been leading the technical team for IBM’ ...
http://www.almaden.ibm.com/cs/people/laura/
|
| |
