Martin AVANZINI, PhD
Researcher (CR), team
FoCUS
INRIA Sophia Antipolis Méditerranée
Building Fermat, F125
2004, Route des Lucioles - BP 93
06902 Sophia Antipolis Cedex, France
(λ
xy
.martin
y
avanzini
x
inria
y
fr) @ .
+33 4 97 15 53 34
home
>
teaching
>
index
Page
Home
Bio
Teaching
Publications
Projects
Events
Software
External
DBLP
Research Gate
HAL
Teaching
Advanced Logic
(@ Université Côte d’Azur)