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.
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.
90 rue de Tolbiac