Sites:
| 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. | | 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. | | Gareth, Danieln: University of Wales, Swansea - Visualization of video data, summarising video, volume rendering, video processing, image processing. | | Garg, Naveen: Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms | | Gazdar, Gerald: University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars. | | 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. | | 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. | | Gerrard, Anthony: City University, London | | Ghodosi, Hossein: James Cook University - Secret sharing schemes, society-oriented cryptography. | | 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 network-attached storage devices. | | Gibson, Paul: National University of Ireland, Maynooth - TASS (theoretical aspects of software systems) research group co-ordinator. | | Gilmore, Stephen: University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. | | 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. | | Gousie, Michael B.: Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS). | | 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. | | Gueziec, Andre P.: Triangle Software - Medical imaging, data visualization, 3D graphics, video processing. | | Gupta, Abhinav: University of Calgary - Routing in Ad hoc Networks. | | Gupta, Deepak: Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies. | | Gupta, Deepak: A collection of funny pictures and optical illusions. |
|
Classical
