home
contact
venue
research fields
forthcoming events
curriculum vitæ
short CV
long CV
cv court
cv long
social networks
Linkedin
ResearchGate
publications
by topic
Static analysis of mobile systems
Static analysis of biological systems
Static analysis of critical embedded software
online bibliographies
DBLP
Google Scholar
HAL - INRIA
PubMed
social networks
Linkedin
ResearchGate
online talks
teaching
MPRI 2.6
master website
course notes
my materials
MPRI 2.19
master website
course notes
former lectures
projects
ANR DCore
SecurEval project (PEPR Sécurité des systèmes)
former projects
seminar
General Seminoar of the DIENS
hobbies
web series
theatre
Teaching
Past lectures
First Cycle:
Bachelor Frontiers of life Sciences (From 2011-2012 to 2016-2017)
Course of logic (12 hours, Bachelor 1st year)
Course materials
Course of linear algebra (18 hours, Bachelor 1st year)
Course materials
Jérôme Feret
, Last modified: 13 Feb 2025, 04:42:57 CET