SD701 Open Directory

Top: Computers: Computer_Science: People: G:

See also:

• Computers: Programming: Personal Pages: G  (19)
• Society: People: Personal Homepages: G  (337)

» 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.




» 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.




» 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 - 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 - 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.




» Gupta, Abhinav - University of Calgary - Routing in Ad hoc Networks.




» Gupta, Deepak - A collection of funny pictures and optical illusions.




» 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.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified.