Google Directory - Computers > Computer Science > People

Directory Help
Search only in GSearch the Web

Computers > Computer Science > People > G

Categories

Web Pages

View in Google PageRank order Viewing in alphabetical order

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

Gadia, Shashi K. - http://www.cs.iastate.edu/faculty/gadia.html
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.

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

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

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

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

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

Gibson, Garth - http://www.cs.cmu.edu/~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.

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

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

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

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

Grumberg, Orna - http://www.cs.technion.ac.il/users/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.

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

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

Güting, Ralf Hartmut - http://dna.fernuni-hagen.de/gueting/home.html
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.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor