Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team MFX Matter from Graphics Our team focuses on challenges related to shape complexity in the context of Computer Graphics and...
Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team TANGRAM Visual Registration with Physically Coherent Models Physically coherent modeling, accurate registration and development of associated robust estimation...
Job opportunities Post-Doctoral Research Visit F/M In Quantum Computing Programming Languages Deadline to apply 31/05/2024
Job opportunities PhD Position F/M Users trust and legitimacy in contextual collaborative writing in Wikipedia Deadline to apply 26/05/2024
Job opportunities Post-Doctoral Research Visit F/M Multi-type growth fragmentation equations with singular coefficients Deadline to apply 31/05/2024
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Project-team MULTISPEECH Speech Modeling for Facilitating Oral-Based Communication MULTISPEECH is a joint research team between the Université of Lorraine, Inria, and CNRS. It is part...
Project-team PASTA Space-time random processes and applications PASTA Spatio-Temporal stochastic processes and their applications PASTA is a joint research team...
Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...