Home
2018 Project-Team Activity Report
TYREX
Types and Reasoning for the Web
Research centre:
Grenoble - Rhône-Alpes
In partnership with: CNRS, Institut polytechnique de Grenoble, Université de Grenoble Alpes
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)
Keywords:
Computer Science and Digital Science:
- A2.1.1. - Semantics of programming languages
- A2.1.4. - Functional programming
- A2.1.7. - Distributed programming
- A2.1.10. - Domain-specific languages
- A2.2.1. - Static analysis
- A2.2.4. - Parallel architectures
- A2.2.8. - Code generation
- A2.4. - Formal method for verification, reliability, certification
- A3.1. - Data
- A3.1.1. - Modeling, representation
- A3.1.2. - Data management, quering and storage
- A3.1.3. - Distributed data
- A3.1.6. - Query optimization
- A3.1.9. - Database
- A3.1.10. - Heterogeneous data
- A3.1.11. - Structured data
- A3.2.1. - Knowledge bases
- A3.2.2. - Knowledge extraction, cleaning
- A3.2.6. - Linked data
- A3.3.3. - Big data analysis
- A3.4. - Machine learning and statistics
- A3.4.1. - Supervised learning
- A5.6. - Virtual reality, augmented reality
- A6.3.3. - Data processing
- A7. - Theory of computation
- A7.1. - Algorithms
- A7.2. - Logic in Computer Science
- A9.1. - Knowledge
- A9.2. - Machine learning
- A9.7. - AI algorithmics
- A9.8. - Reasoning
Other Research Topics and Application Domains:
- B6.1. - Software industry
- B6.3.1. - Web
- B6.5. - Information systems
- B8.2. - Connected city
- B9.5.1. - Computer science
- B9.5.6. - Data science
- B9.7.2. - Open data
- B9.11. - Risk management
- B9.11.2. - Financial risks