All sites of Computer Science

Cormen, Thomas H. Cormen, Thomas H.
Cormen, Thomas H.- Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms. ...
Chandran, Sharat Chandran, Sharat
Chandran, Sharat- Indian Institute of Technology, Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms. ...
Chakraborty, Supratik Chakraborty, Supratik
Chakraborty, Supratik- Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis. ...
Chakrabarti, Soumen Chakrabarti, Soumen
Chakrabarti, Soumen- Indian Institute of Technology, Bombay - Information Retrieval, Text Databases, Data Mining. ...
Chen, Hubie Chen, Hubie
Chen, Hubie- Universitat Pompeu Fabra, Barcelona - Theoretical computer science, logic, reasoning. ...
Cattani, Gian Luca Cattani, Gian Luca
Cattani, Gian Luca- Applications of category theory to computer science, semantics of concurrent process languages. ...
Cardelli, Luca Cardelli, Luca
Cardelli, Luca- Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. ...
Ciaccia, Paolo Ciaccia, Paolo
Ciaccia, Paolo- University of Bologna - Content-based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the M-tree, signature files, grid files, schema-based navigation, structures on the web. ...
Costa, Ernesto Costa, Ernesto
Costa, Ernesto- University of Coimbra, Portugal - Artificial intelligence, evolutionary computation. ...
Carroll, John Carroll, John
Carroll, John- University of Sussex at Brighton - Natural language processing, stochastic lexicalized grammars, shallow parsing and knowledge extraction, parsing disambiguation and efficiency, parser evaluation, large-sc ...
Chittaro, Luca Chittaro, Luca
Chittaro, Luca- University of Udine - Knowledge-based systems (diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning) and human-computer interaction (desktop virtual reality, information visu ...
Ceri, Stefano Ceri, Stefano
Ceri, Stefano- Politecnico di Milano - Extending database technology to incorporate data distribution, deductive and active rules; object-orientation design methods for data-intensive web sites. ...
Charniak, Eugene Charniak, Eugene
Charniak, Eugene- Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript. ...
Day, Bill Day, Bill
Day, Bill- Technology Evangelist at Sun Microsystems, interests include software and aerospace engineering, molecular nanotechnology, streaming media and multimedia, java, and computer graphics. ...
Davies, Rowan Davies, Rowan
Davies, Rowan- Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages. ...
Diwan, Ajit Diwan, Ajit
Diwan, Ajit- Indian Institute of Technology, Bombay - Algorithms, Graph theory, Combinatorics ...
Dhamdhere, Dhananjay Dhamdhere, Dhananjay
Dhamdhere, Dhananjay- Indian Institute of Technology, Bombay - Distributed Algorithms, Programming Languages, Operating Systems, Optimizing Compilers ...
Dehne, Frank Dehne, Frank
Dehne, Frank- School of Computer Science, Carleton University - Parallel Computing, Coarse Grained Parallel Algorithms, Parallel Data Mining and OLAP, Computational Geometry, Image Processing ...
Dodgson, Neil Dodgson, Neil
Dodgson, Neil- University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression. ...
Duch, Wlodzislaw Duch, Wlodzislaw
Duch, Wlodzislaw- Nicholas Copernicus University - Local learning, Machine Learning and Pattern Recognition, NeuroFuzzy systems, Cognition, Computational neurobiology, Applications of adaptive systems in medicine and psy ...
Daugman, John Daugman, John
Daugman, John- University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision. ...
Dawar, Anuj Dawar, Anuj
Dawar, Anuj- University of Cambridge - Applications of logic to computing, finite model theory, computational complexity. ...
Di Gianantonio, Pietro Di Gianantonio, Pietro
Di Gianantonio, Pietro- University of Udine - Real number computability, semantics of concurrency, lambda-calculus. ...
D'Angelo, Angelo D'Angelo, Angelo
D'Angelo, Angelo- University of Udine - Autonomous robot control, behaviour-based planning, coordination among autonomus agents, self-organization in autonomous robotics. ...
Elmasri, Ramez Elmasri, Ramez
Elmasri, Ramez- University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems, database models and languages, DBMS syst ...
Eder, Elmar Eder, Elmar
Eder, Elmar- University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory . ...
Eades, Peter Eades, Peter
Eades, Peter- University of Sydney - Graph drawing, information visualization, software visualization, algorithms. ...
Francez, Nissim Francez, Nissim
Francez, Nissim- The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming. ...
Fjeld, Morten Fjeld, Morten
Fjeld, Morten- ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics. ...
Foo, Norman Foo, Norman
Foo, Norman- University of New South Wales - Logic and model theory, belief revision. ...
Fourman, Michael Fourman, Michael
Fourman, Michael- School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning. ...
Fröhlich, Peter H. Fröhlich, Peter H.
Fröhlich, Peter H.- UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona. ...
Franklin, James Franklin, James
Franklin, James- University of New South Wales - Neural networks and structuralist philosophy of mathematics. ...
Fisher, Robert Fisher, Robert
Fisher, Robert- University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms. ...
Foresti, Gian Luca Foresti, Gian Luca
Foresti, Gian Luca- University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence. ...
Frailey, Dennis J. Frailey, Dennis J.
Frailey, Dennis J.- Software engineering improvement, especially focusing on cycle time. ...
Grumberg, Orna Grumberg, Orna
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 ...
Garg, Naveen Garg, Naveen
Garg, Naveen- Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms ...
Gibbons, Nick Gibbons, Nick
Gibbons, Nick- Keele University, UK ...
Ghosh, R. K. Ghosh, R. K.
Ghosh, R. K.- Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases. ...
Goethals, Bart Goethals, Bart
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. ...
Gibson, Garth Gibson, Garth
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. ...
Lamport, Leslie Lamport, Leslie
Lamport, Leslie- Microsoft Research - Programming languages, Algorithms, Verification. Author of Latex. ...
Gabbrielli, Maurizio Gabbrielli, Maurizio
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 progra ...
Gilmore, Stephen Gilmore, Stephen
Gilmore, Stephen- University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. ...
Gupta, Abhinav Gupta, Abhinav
Gupta, Abhinav- University of Calgary - Routing in Ad hoc Networks. ...
Gibson, Paul Gibson, Paul
Gibson, Paul- IT SudParis. Personal information, details of research, publications, and teaching. ...
Güting, Ralf Hartmut Güting, Ralf Hartmut
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 d ...
Gousie, Michael B. Gousie, Michael B.
Gousie, Michael B.- Wheaton College - Computational Geometry and Computer Graphics, as applied to Geographic Information Systems (GIS). ...
Haas, Laura Haas, Laura
Haas, Laura- IBM Almaden Research Center - Database query processing. ...

Latest sites from Computer Science