In the point of view of an anthropologist, I'm a young white male of caucasian type, weighing about 80 kg for 1 m 80. However, let us not stick to stereotypes or over-factual descriptions of ourselves. Trully, I'm just a simple dude.
Right now, I'm a PHD student working at the LIRMM (Laboratory of Informatics, Robotics and Microelectronics of Montpellier, in its english translated version). The subject of my PHD thesis is, well is about, well... see... you know... do you have thirty minutes ahead of you? To make it simple, as my english teacher used to say, I'm working in the field of formal methods. Well, "what the heck are formal methods?", would one say. In computer sciences and many other trades, critical systems point out systems that involve human lifes. For example, subways, planes or material for medical assistance... When contributing to such systems, the number one preoccupation of computer scientists is to build softwares free from any bug. Indeed, a "bug" could lead to system failure, then to accidents and possible death of people. That's when formal methods make an entrance! Formal methods describe a way to specify a software (that is saying what it must and mustn't do) with the help of logical formulas. By doing so, a programmer will be able to implement the software and to prove mathematically along the way that the code conforms with the software specification. That is a way to show that a software does exactly what is expected, not more not less.
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
Curriculum Vitae
Education
Ph.D. thesis in Computer Sciences.
LIRMM, Université de Montpellier, CNRS, Montpellier, France
Formal verification of Hilecop methodology, a process to design and produce critical digital systems. Modelization and proofs using Coq. Under the supervision of David Andreu and David Delahaye.
Master Degree in Computer Sciences.
Faculté de 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.
Other Interests
Participating in a music workshop (CROUS de l'Hérault), reaharsals and concerts (funk, jazz and soul music).
Judo, preparing the black belt exam.