Please complete the CAPTCHA to continue
@inria.fr
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Florent Jacquemard is listed as Research Scientist at Inria, a company with 2686 employees, based in Greater Paris Metropolitan Region, France, France. AeroLeads shows a work email signal at inria.fr and a matched LinkedIn profile for Florent Jacquemard.
Florent Jacquemard previously worked as Researcher at Ircam and Inria Research Scientist at École Normale Supérieure Paris-Saclay. Florent Jacquemard holds Phd, Computer Science from Paris-Sud University (Paris Xi).
This section adds company-level context without repeating Florent Jacquemard's masked contact details.
AeroLeads found 1 current-domain work email signal for Florent Jacquemard. Compare company email patterns before reaching out.
Current research interests:- music information retrieval- symbolic music data processing- digital music scores construction and retrieval- automated verification of complex systems and software- logic in computer science- automata theorySpecialties: symbolic model checking, constraint solving, tree automata theory, automated deduction, term rewriting
Listed skills include Computer Science, Formal Verification, Algorithms, Model Checking, and 10 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Paris Area, France
I currently conduct research on Computer Music, and more specifically in processing of structured music data (XML digital music score):- creation, digitalisation (assistance to composition and corpus captation),- management (information retrieval in bases of music scores) and- analysis (digital musicology).
Paris Area, France
Verification of Realtime Interactive Music Systems and Symbolic Music Representation Processing by Constraint Solving.
ENS Cachan, France
Member of DAHU, an INRIA research team working on foundations for data centric specification and formal verification in an Internet environment, located at the LSV, ENS Cachan, my activities focused on typing formalisms and XML schemas, verification and typechecking of tree transformations and XML updates, verification of XML access control policies.
Member of team SECSI (Security in Information Systems), with research activities on symbolic verification of security protocols.
Versailles Area, France
Research and development of methods for the static analysis of Javacard bytecode, security certification of embedded software, contribution to the development of an open multi-plateform environment for payment terminals and mobiles.
Nancy Area, France
Research activities on formal methods for computer security (specification and verification of cryptographic protocols) and on automatic inductive theorem proving.
Saarbrücken Area, Germany
Automatic theorem proving.
Other employees you can reach at inria.fr. View company contacts for 2686 employees →
Matteo Azzini
Colleague at Inria
Antibes, Provence-Alpes-Côte d'Azur, France, France
View →
AE
Ala Eddin Weslati
Colleague at Inria
France, France
View →
LD
Léo Dana
Colleague at Inria
Paris, Île-de-France, France, France
View →
MG
Morgane Gilg
Colleague at Inria
Strasbourg, Grand Est, France, France
View →
GA
Gustavo Andres Salazar Gomez
Colleague at Inria
Grenoble, Auvergne-Rhône-Alpes, France, France
View →
PF
Paul Ferrand
Colleague at Inria
Greater Lyon Area, France
View →
EL
Exaucé Luweh Adjim Ngarti
Colleague at Inria
Grenoble, Auvergne-Rhône-Alpes, France, France
View →
OA
Olivier Aumage
Colleague at Inria
Gradignan, Nouvelle-Aquitaine, France, France
View →
YJ
Yee Jian T.
Colleague at Inria
Singapore, Singapore
View →
OS
Ortenca Shaqiri
Colleague at Inria
Greater Paris Metropolitan Region, France
View →
Quick answers generated from the profile data available on this page.
Florent Jacquemard works for Inria.
Florent Jacquemard is listed as Research Scientist at Inria.
AeroLeads has found 1 work email signal at @inria.fr for Florent Jacquemard at Inria.
Florent Jacquemard is based in Greater Paris Metropolitan Region, France, France while working with Inria.
Florent Jacquemard has worked for Inria, Ircam, École Normale Supérieure Paris-Saclay, Trusted Logic, and Inria Nancy.
Florent Jacquemard's colleagues at Inria include Matteo Azzini, Ala Eddin Weslati, Léo Dana, Morgane Gilg, and Gustavo Andres Salazar Gomez.
You can use AeroLeads to view verified contact signals for Florent Jacquemard at Inria, including work email, phone, and LinkedIn data when available.
Florent Jacquemard holds Phd, Computer Science from Paris-Sud University (Paris Xi).
Florent Jacquemard is listed with skills including Computer Science, Formal Verification, Algorithms, Model Checking, Research, Latex, Automated Reasoning, and Automata.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts