Subcategories 4
Sites 13
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
Stanford University - Syntax, computational linguistics.
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
Chennai Mathematical Institute - logic and models for concurrency
University of Cambridge - Semantics and compilation of programs, static analysis of programs.
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
University of Cambridge - Semantics and compilation of programs, static analysis of programs.
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
Chennai Mathematical Institute - logic and models for concurrency
Stanford University - Syntax, computational linguistics.
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modelling, Robotics.
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition
Last update:
May 31, 2023 at 5:15:11 UTC
Check out
Regional: North America: United States: Wyoming: Localities: P: Pine Bluffs: Education
- Recently edited by cherel
- Recently edited by cherel