Most recent news
Maxime Fuccellaro's PhD Thesis
(25 November 2024)
Accompanying a student to the achievement of a Phd is always an adventure. With Maxime Fuccellaro, whom I co-supervised with Akka Zemmari, it was an opportunity to discover a new...
Feedback on the LLM Afternoon by the Trustworthy AI Chair
(20 November 2024)
Last Wednesday, November 20th, as part of the activities of the Trustworthy AI Chair, we offered two hours covering the main themes related to LLMs, at [ENSEIRB-MATMECA](http://www.enseirb-matmeca.fr). You can find...
Jury at HackRobot Hackathon
(17 November 2024)
A Sunday afternoon watching robots and innovations everywhere? I had the pleasure of being invited to be a jury member at the [Hack1Robo](https://sites.google.com/view/hack1robo/accueil) organized by INRIA Bordeaux South West. From...
Alexis Juven's PhD Thesis
(12 November 2024)
One of the ways to realize how AI permeates all areas of society is to measure the extent of its applications. I was happy to be the reviewer of Alexis...
Knowledge Dissemination Award at the Foundation Gala
(07 November 2024)
For more than two years now, with the Trustworthy AI Chair, I have been invited to give talks about the definition of artificial intelligence, what we expect from it, and...
In early July, I went to Nantes to participate to the STAFF/TAP conference. It was in France and I wanted to see Software Verification in practice and the impact of propositional logic / SAT solvers in this field of research (coffee breaks were the place to ask questions!).
Once again, I pretty much liked the work of Daniela Kaufmann and Armin Biere (slides here] about fuzzing for verification tools. If fuzzing was already nice with random circuits in SAT solvers (see for instance the tool “fuzzsat” of Armin Biere), this approach allows to build structured problems for fuzzing. Fun. This fuzzing techniques may be also an amazing tool for performance assessments.
(Last Modified date: 19 October 2022)