Search

Head department: Pierre Ramet The SATANAS department contributes to the design and development of robust and high-performance simulation tools for
Breaking down language barriers so that a group of people who do not speak the same language can have a fluid conversation is the ambition of a
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
During the COMPAS 2025 conference, the best poster prize was awarded to Dimitri Walther, who is in the 1st year of his thesis in the TOPAL team in
The 16th FPS 2023 symposium (Foundations and Practices of Security) will take place from 2023, December 11 to 13th at Bordeaux INP. See the
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal issues of the Digital Age, will take place in the LaBRI
Emile Barjou will submit his thesis entitled: "High-resolution phase contrast tomography".
Aurélie Bugeau is a laureate of the IUF for the Innovation Chair. As a reminder: the IUF's mission is to promote the development of high-level
The ANSSI (French National Agency for Information Systems Security) has just certified a third Dropbox-like secure tool. Parsec, the Bordeaux-based
During the NCA conference (IEEE International Symposium on Network Computing and Applications), Kadir Korkmaz (PhD student in the SeD department