- 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.dig.cs.gc.cuny.edu/~gabor/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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://users.dimi.uniud.it/~furio.honsell/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
|
