- Gabbrielli, Maurizio - University of Udine - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.
www.dimi.uniud.it/~gabbri
- Gadia, Shashi K. - Iowa State University - Temporal, spatial, belief, security, stastical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data.
www.cs.iastate.edu/faculty/gadia.html
- Gal, Avigdor - Rutgers University - Electronic commerce, cooperative information systems, temporal databases, active databases.
www.rci.rutgers.edu/~avigal
- Garg, Naveen - Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
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.
www.cogs.susx.ac.uk/lab/nlp/gazdar/gazdar.html
- 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.
www.informatik.fernuni-hagen.de/import/pi4/gueting/home.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.
www.geocities.com/deepakgeorge2000
- Gerrard, Anthony - City University, London
soi.city.ac.uk/~dv297
- Ghodosi, Hossein - James Cook University - Secret sharing schemes, society-oriented cryptography.
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.
www.cse.iitk.ac.in/users/rkg/index.html
- Ghosh, Subir Kumar - Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
www.tcs.tifr.res.in/~ghosh
- Gibbons, Nick - Keele University, UK
www.nickgibbons.co.uk
- Gilmore, Stephen - University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
www.dcs.ed.ac.uk/~stg
- Goel, Nikhil - Georgia Institute of Technology - Ph.D. student.
www.cc.gatech.edu/~ngoel
- Goethals, Bart - University of Limburg, Belgium - Data Mining Algorithms, Query Languages for Data Mining, Inductive Databases, Database Theory
alpha.luc.ac.be/~lucp1119
- Graham, Ian - De Montfort University - Business process re-engineering, IT strategy and, architecture, management decision support, financial modelling and executive information, systems, rapid application development (RAD) and prototyping.
ourworld.compuserve.com/homepages/grahami
- Gregersen, Heidi - Aalborg University - Temporal databases.
www.cs.auc.dk/~gregori
- 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.
www.cs.technion.ac.il/users/orna
- Gueziec, Andre P. - Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
www.gueziec.org
- Gupta, Deepak - Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies.
www.cse.iitk.ac.in/users/deepak/index.html
- Gupta, Shyam - Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
www.cse.iitd.ernet.in/~skg
- Gysin, Marc Michel - James Cook University - Information security and secure networks, cryptography, object oriented programming languages, integer factorisation.
www.cs.jcu.edu.au/~marc
|
