CERIST leads PNR projects in Computer Science and Information and Communication Technology :
- Algorithms for tree automata, rational cores
- High Performance Computing by Finite Element. Implements
- Contribution to improve the performance of AD hoc networks
- Contribution to the integration and the evaluation of the operating safety of calculation systems.
- Contribution of vehicular networks and sensors to the management of risks.
- Digital convergence voice-data-image. Application to Triplay
- Reliability and congestion in communication Systems
- Formalization and improvement of service quality in computer systems
- Mathematical logic & imperfect knowledge
- Description logic and ontologies
- Models for security of communication networks
- High level modeling and performance analysis of complex stochastic systems
- High level modeling, specification and verification of systems.
- Modeling and Verification of complex reactive systems.
- Spatial and temporal reasoning and description logics . Theory and practical applications
- Three-dimensional reconstruction of the spine
- Formal specification and performance analysis
- Operating safety and fault tolerance in ubiquitous computing systems
- Intelligent system for dynamic management of traffic lights.
- ICT for the Amazigh language.