G

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

George, Deepak
This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, style guides, tips on designing and some useful codes.
http://www.geocities.com/deepakgeorge2000/

Ghodosi, Hossein
James Cook University - Secret sharing schemes, society-oriented cryptography.
http://www.cs.jcu.edu.au/~hossein/

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

Gupta, Deepak
A collection of funny pictures and optical illusions.
http://dipak.org

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://www.informatik.fernuni-hagen.de/import/pi4/gueting/home.html