Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in People/G
Top
:
Computers
:
Computer Science
:
People
:
G
(13)
[
A

B

C

D

E

F

G
H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z
]
Gates, Bill
@
(9)
See also:
Computers: Programming: Personal Pages: G
(11)
Society: People: Personal Homepages: G
(159)
Gabbrielli, Maurizio
 University of Bologna  Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for realtime applications, logic programming.
Garg, Naveen
 Indian Institute of Technology, Delhi  Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Ghosh, R. K.
 Indian Institute of Technology, Kanpur  Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.
Ghosh, Subir Kumar
 Tata Institute of Fundamental Research, Mumbai  Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
Gibbons, Nick
 Keele University, UK
Gibson, Garth
 Carnegie Mellon University / Panasas, Inc.  Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and networkattached storage devices.
Gibson, Paul
 IT SudParis. Personal information, details of research, publications, and teaching.
Gilmore, Stephen
 University of Edinburgh  PEPA stochastic process algebra, Standard ML functional programming language.
Goethals, Bart
 Postdoctoral researcher of the ADReM research group at the University of Antwerp, Belgium. Research topics are: databases, data mining, and inductive databases.
Gousie, Michael B.
 Wheaton College  Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS).
Grumberg, Orna
 The Technion  Computeraided 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
 University of Calgary  Routing in Ad hoc Networks.
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.
"
G
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982015 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: December 8, 2013 at 1:27:20 UTC 
edit