Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Informatio...
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, te...
Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Gr...
Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing,...
Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Researc...
Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, ...
University of Bologna - Formal methods for program verification and analysis, theory of concurrent ...
University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming langu...
IT SudParis. Personal information, details of research, publications, and teaching.
University of Hagen - Spatial data models and query languages (algebras), finite resolution geometr...