Web Directory

» Gabbrielli, Maurizio
   University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
   http://www.cs.unibo.it/~gabbri/

» Gadia, Shashi K.
   Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data.
   http://www.cs.iastate.edu/faculty/gadia.html

» Garg, Naveen
   Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
   http://www.cse.iitd.ernet.in/~naveen

» Gazdar, Gerald
   University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
   http://www.informatics.sussex.ac.uk/research/groups/nlp/gazdar/gazdar.html

» Ghosh, R. K.
   Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
   http://www.cse.iitk.ac.in/~rkg/

» Ghosh, Subir Kumar
   Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
   http://www.tcs.tifr.res.in/~ghosh/

» Gibbons, Nick
   Keele University, UK
   http://www.nickgibbons.co.uk

» Gibson, Garth
   Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.
   http://www.cs.cmu.edu/~garth/

» Gibson, Paul
   IT SudParis. Personal information, details of research, publications, and teaching.
   http://www-public.int-evry.fr/~gibson/

» Gilmore, Stephen
   University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
   http://www.dcs.ed.ac.uk/home/stg/

» Goethals, Bart
   Post-doctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
   http://www.adrem.ua.ac.be/~goethals/

» Gousie, Michael B.
   Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
   http://cs.wheatoncollege.edu/~mgousie/

» Grumberg, Orna
   The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
   http://www.cs.technion.ac.il/users/orna/

» Gupta, Abhinav
   University of Calgary - Routing in Ad hoc Networks.
   http://agupta.wordpress.com

» Güting, Ralf Hartmut
   University of Hagen - Spatial data models and query languages (algebras), finite resolution geometry for spatial database systems, extensible spatial database systems, graphs (networks) in spatial databases.
   http://dna.fernuni-hagen.de/gueting/home.html