Subcategories 1
Sites 24
University of Cambridge - Distributed systems.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
University of Technology Aachen - Software Engineering, Incremental Integration.
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
IBM Research - Quantum information and computation theory.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
University of Parma - Computer vision, learning in vision, artificial intelligence.
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
University of Cambridge - Human-computer interaction, visual interaction.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
London South Bank University - Formal methods, history of computing, online museums.
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
York University, Ontario - Concurrent programming languages, semantics, specification languages.
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile agents, artificial life, computer music.
University of Cambridge - Speech and language processing, computational linguistics.
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
IBM Research - Quantum information and computation theory.
London South Bank University - Formal methods, history of computing, online museums.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
University of Cambridge - Distributed systems.
University of Cambridge - Speech and language processing, computational linguistics.
University of Cambridge - Human-computer interaction, visual interaction.
York University, Ontario - Concurrent programming languages, semantics, specification languages.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
University of Parma - Computer vision, learning in vision, artificial intelligence.
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
University of Technology Aachen - Software Engineering, Incremental Integration.
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile agents, artificial life, computer music.
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Last update:
September 2, 2021 at 5:25:05 UTC
Check out
Regional: North America: United States: Vermont: Localities: B: Burlington: Arts and Entertainment: Music
- Recently edited by lisagirl
- Recently edited by lisagirl