chargueraud.org - Arthur Charguéraud's home page

home > domains > chargueraud.org

Description: Arthur Charguéraud's home page

arthur;charguéraud;chargueraud;homepage;home;page;perso (1) arthur;charguéraud;chargueraud;homepage;home;page;perso

Example domain paragraphs

I am a full-time researcher at Inria .

I am based in Strasbourg, in the Camus team, which is related to the ICPS team from the iCube lab.

My research interests span from formal verification to multicore programming.

Links to chargueraud.org (6)

• thok.eu Thomas Kœhler
• pvk.ca Paul Khuong: some Lisp
• gryder.org Guillaume Ryder
• samuelgruetter.net Samuel Gruetter
• andres.systems Andres Erbsen
• bastacyclop.gitlab.io Thomas Kœhler