Invited speakers : Étienne Renault - LRDE-EPITA, "The quest for an efficient LTL model-checking", and Mathias Ramparison - LIPN, Université Paris 13, "Timed automata with parametric updates"
Joseph Chazalon becomes assistant professor in LRDE's Olena team. — 14 May 2018
After having started last year to work at the lab as a postdoc from Laboratoire Image, Informatique et Interaction (L3i) of Université de La Rochelle, Joseph joins now the lab as assistant professor specialized in computer vision. He will continue to work on the projects of the Olena team.
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
This version includes improvements in the build system, better performances, and extended consistency for a better, smoother, user experience.
LRDE Seminar on Performance and Genericity - Lire les lignes du cerveau humain by Jean-François Mangin, NeuroSpin, and - Apprentissage automatique en neuroimagerie: application aux maladies cérébrales by Edouard Duchesnay, NeuroSpin, CEA, Paris-Saclay . — 8 November 2017
Edwin Carlinet, assistant-professor, is back to the Olena team. — 2 November 2017
After his PhD thesis defense at LRDE in 2015, Edwin has been working for two years as an Imaging Science Engineer at DxO. Now he joins LRDE's image team to maintain and develop the image processing library Olena. He will also be involved in several projects, such as the detection of fibrosis in 3D images of the heart using deep learning methods.
The LRDE hosts a new member, Michaël Roynard, who joins the Olena team for his PhD studies. — 3 October 2017
After his engineering degree from EISTI, Michaël has worked as a software developer at the Informatics development Laboratory (LDI) at CEA/LIST, then at Murex, before joining the image team of LRDE for his PhD. He studies the possibilities that the modern C++ offers to improve Olena, especially concerning its generic aspect.
LRDE Seminar on Performance and Genericity - Frama-C, une plateforme collaborative et extensible pour l'analyse de code C by Julien Signoles, CEA LIST, Laboratoire de Sûreté des Logiciels (LSL). — 27 September 2017
LRDE Seminar on Performance and Genericity - MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances by Andrés S. Charif Rubial, ESN PeXL et Li-PARAD - Université de Versailles. — 14 June 2017
Olivier Ricou invited to panel discussion at PyParis 2017 Conference at Pôle Universitaire Léonard de Vinci, Paris La Défense, France. — 13 June 2017
He will talk about his experience of making a MOOC on Python.