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/
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 http://www.dimi.uniud.it/~honsell/
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/
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
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/
University of Sydney - Algorithmics, including computational geometry, graph algorithms, combinatorial geometry, optimization, and parallel algorithms. http://www.cs.usyd.edu.au/~meh/
University of New South Wales - Operating systems and distributed systems, numerical modelling of silicon solar cells. http://www.cse.unsw.edu.au/~gernot/
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/
Mississippi State University - Artificial intelligence, planning and reasoning under uncertainty, and resource-bounded computing. http://www.cs.msstate.edu/~hansen
Add URL
My Sites
My Account
Contact Us