Olivier Hénot
Assistant Professor
National Taiwan University
Department of Mathematics
Click to switch
E-mail: olivier.henot@polytechnique.edu
Short CV:
C
Computer
A
Assisted
P
Proofs