G

G Links

• Gazdar, Gerald University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
  
• 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.
  
• Gilmore, Stephen University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
  
• Garg, Naveen Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
  
• 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.
  
• Gysin, Marc Michel James Cook University - Information security and secure networks, cryptography, object oriented programming languages, integer factorisation.
  
• Gupta, Shyam Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
  
• Gedeon, Tom University of New South Wales - Information retrieval and index generation, learning algorithms, neural Networks and fuzzy logic.
  
• 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.
  
• Gal, Avigdor Rutgers University - Electronic commerce, cooperative information systems, temporal databases, active databases.
  
• Gupta, Deepak Indian Institute of Technology, Kanpur - Distributed Systems, Operating Systems, Internet Technologies.
  
• 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.
  
• Gregersen, Heidi Aalborg University - Temporal databases.
  
• Grandi, Fabio University of Bologna - Temporal databases, advanced access cost models, information retrieval, neural networks.
  
• Ghosh, Subir Kumar Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
  
• 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.
  
• Galton, Antony Exeter University - Temporal phenomena; temporal, spatial and spatio-temporal knowledge representation; probabalistic reasoning; and philosophy of artificial intelligence and theory of computation.
  
• 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.