Research in computer graphics: voxelization and visualization of implicit surfaces, discrete ray tracing, and fractal clouds. http://nilo.stolte.free.fr
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties. http://www.dcs.ed.ac.uk/~cps/
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. http://www.dcs.ed.ac.uk/~dts/
National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems. http://www.dblab.ece.ntua.gr/~timos/
Indian Institute of Technology, Bombay - Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems http://www.cse.iitb.ac.in/~siva/
University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design. http://www.cse.unsw.edu.au/~sowmya/
Machine Intelligence Unit, Indian Statistical Institute, Kolkata - Pattern recognition, Image processing and Soft Computing with applications to Remote sensing. http://www.isical.ac.in/~uma/
Add URL
My Sites
My Account
Contact Us