In the point of view of an anthropologist, I'm a male of Caucasian type, weighing about 90 kg (at least, true at the moment of the writing) for 1 m 80. However, let us not stick to stereotypes or over-factual descriptions of ourselves. Truly, I'm just a simple dude.
Right now, I'm an IT engineer working at the Neurinnov company. The Neurinnov company develops a medical device, called HandyGrasp, to help patients that suffer from tetraplegia to recover the movement of their hands. The movement recovering is directly obtained by the electric stimulation of the patients' nerves.
My job there is to develop softwares that help Neurinnov's engineers to design and produce the Handygrasp medical device. One of these softwares is an implementation of the HILECOP methodology. This methodology describes a whole process to design safety-critical digital systems with Petri net models, and finally generate them on concrete FPGA cards.
During my PhD, I worked on establishing the formal proof that the transformation, described by the HILECOP methodology, from the Petri net models to an intermediary representation as a VHDL design (that is before the concrete generation of the system on FPGA card) was a correct one. That is to say, the transformation always produces an output representation that behaves as the input one.
Before computer sciences, I was trained as an
audiovisual technician, specialized in sound technics
(recording, mixing...), and also studied a bit of
musicology. Ever since, I always kept a strong interest
for
Social Profiles
Curriculum Vitae
Professional Experience
R&D Engineer at Neurinnov
Neurinnov, Montpellier, France
- Design and development of an IDE for the creation of safety-critical digital systems.
- Design and development of a software to drive electric continuity tests on medical implants.
- Setting unit, integration and acceptance tests for softwares considered as medical devices in compliance with the IEC 62304 standard.
ATER (Attaché Temporaire d'Enseignement et de Recherche)
LIRMM, Université de Montpellier, CNRS, Montpellier, France
Temporary teacher at Montpellier's university of science, combined with research activities at the LIRMM laboratory.
- Teaching in bachelor and master degrees in computer science: DevOps, concurrent programming, first order logic, program verification.
- Research activities: formal methods and software engineering applied to digital systems.
Education
Ph.D. Thesis in Computer Science
LIRMM, Université de Montpellier, CNRS, Montpellier, France
Proofs conducted with the Coq proof assistant. Under the supervision of David Andreu and David Delahaye.
Master Degree in Computer Sciences
Faculté des Sciences, Université de Montpellier, Montpellier, France
Software engineering and design (design patterns, model driven engineering, component-based approach), and web/network applications (RMI, Corba, SOAP, network programming in C/C++, applications with Symfony framework).
Bachelor Degree in Musicology
Faculté de Lettres, Université de Montpellier III Paul Valéry, Montpellier, France
History of music, music theory, music pratices (piano accompaniement, choir, big band...).
BTS Audiovisuel.
Lycée des Arènes, Toulouse, France
2-year audiovisual technical degree, with a strong focus on sound technics, including studio recording, shooting, mixing films, music...
Internships
IRCAM (National Research Institute on Music and Acoustics), Encoding and Interpretation of multimedia scores
Paris, France
Working on
Berger Levrault, A study on blockchain, theory and applications
Pérols, France
Study of blockchain theory (public/private, consensus, existing frameworks...). Proof of concept on document signature application.
INA (National Institute of Audiovisual), Optimization of query time response on a video clip database
Bry-sur-Marne, France
Working on a MySQL database of video clips collected on french TV channels.
Computer Science
Publications
-
Vers la vérification d’une méthodologie pour la conception de circuits numériques critiques
Ph.D. Student Paper, journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2020), June 2020.
[Paper]
-
Toward the Formal Verification of HILECOP
Formalization and Implementation of Synchronously Executed Petri Nets
Extended Abstract, International Workshop on Petri Nets and Software Engineering (PNSE), June 2020.
[Paper]
-
Toward the Formal Verification of HILECOP
Formalization and Implementation of Synchronously Executed Petri Nets
Research Report, LIRMM (Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier).
May 2020, Montpellier, France.
[Paper]
Talks
-
An Introduction to Formal Methods in Software Engineering
Semin'Doc, seminar for PhD students.
December 2019, Montpellier, France.
[Slides]
-
Toward the Formal Verification of HILECOP
Formalization and Implementation of Synchronously Executed Petri Nets
International Workshop on Petri Nets and Software Engineering (PNSE), June 2020.
June 2020, online.
-
Designing Critical Digital Systems
Formal Verification of a Token Player for Synchronously Executed Petri Nets
SHARC Workshop 2019, National Conference on Software and Hardware Architectures for Robots Control.
July 2019, Montpellier, France.
[Slides]
-
Formal Verification of HILECOP
A Process to Design and Implement Critical Digital Systems
Semin' MAREL, Team seminar.
June 2019, Montpellier, France.
[Slides]
Posters
-
Verifying A Process to Build Critical Digital Systems
Doctiss 2019, event organised by the Ecole Doctorale I2S.
July 2019, Montpellier, France.
[Poster]
All Kind of Interests
Meditation practice
I have been a member of the Shambhala association ever since september 2018. The Shambhala association promotes the meditation practice as a way to open ourselves to the world and to our "fundamental goodness" as human beings. I participate in meditation sessions in group at the Montpellier's Shambhala center, every week.
Link to Shambhala websites
- Montpellier's Shambhala meditation center
- Dechen Chöling meditation center