Header 1

Center for Research in Informatics (CRI) of University Paris 1 Panthéon-Sorbonne

The research carried out by the Center for Research in Informatics (CRI) of University Paris 1 Panthéon-Sorbonne (UP1PS) is driven by the need to automate the engineering of mission critical information systems, including those powered by AI. It advances the state-of-the-art in two ways: (a) surveying, applying, evaluating and adapting existing AI techniques for this automation purpose and (b) developing new such techniques when existing ones cannot satisfy a set of engineering automation requirements.

https://www.pantheonsorbonne.fr/unites-de-recherche/cri/

map

body

Description of our AI activities

Concerning AI techniques, CRI research currently focuses on meta-heuristic constraint optimization and on the integration of the object-oriented, probabilistic and constraint flavors of logic programming.

Concerning AI applications, CRI research currently focuses on (a) automating verification of AI-powered information systems dependability, cybersecurity, privacy and auditability properties, (b) recommender systems, (b) process mining and intent mining from information system and social network traces.

Address

90 rue de Tolbiac
75013 Paris
France