Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, mo...
Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal...
Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics
Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating S...
School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algor...
University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.
Nicholas Copernicus University - Local learning, Machine Learning and Pattern Recognition, NeuroFuz...
University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.
University of Cambridge - Applications of logic to computing, finite model theory, computational co...
University of Udine - Real number computability, semantics of concurrency, lambda-calculus.
University of Udine - Autonomous robot control, behaviour-based planning, coordination among autono...