Curriculum Vitae for Benoît Valiron
Personal Details
 Electronic Address:
 benoit (dot) valiron (at) monoidal (dot) net
 Official academic Address:
 CentraleSupélec
Département Informatique
Plateau de Moulon
3 rue JoliotCurie
91192 Gif sur Yvette Cedex
 Birthdate:
 October 1st, 1980
 Citizenship:
 French
Education
 2004  2008.

Ph.D. in Mathematics, University of Ottawa, Canada.
Supervisor: Peter Selinger.
Title: Semantics for a higherorder functional
programming language for quantum computation.
The defense took place on September 25, 2008
 2002  2004.
 Master of Science, Mathematics, University of Ottawa.
Supervisor: Peter Selinger.
Title: A functional programming language for quantum
computation with classical control.
 2001  2002.
 French maîtrise (fourth year of university), Mathematics,
Université Joseph Fourier, Grenoble, France. Exchange program,
done at the University of Ottawa. With best honors ("mention
très bien").
 2000  2001.
 French licence (third year of university), Mathematics,
Université Joseph Fourier, Grenoble. With best honors ("mention
très bien").
 1998  2000.
 Classes préparatoires aux Grandes Ecoles, Champollion,
Grenoble.
Employment
 Since Feb 2015
 Assistant professor. Full time position at
CentraleSupélec. Duties: teaching at CentraleSupélec (an
engineering school), and research withing the CS lab of
Université Paris Sud (LRI).
 Sep 2013  Feb 2015
 Postdoc position in the laboratory PPS of Université Paris
Diderot, in France, funded by the ANR LoGoI, then the ANR CoQuas.
 Mar 2011  Aug 2013
 Postdoc position at the Department of Computer and
Information Science, University of Pennsylvania, under the
supervision of Jonathan M. Smith. The main project attached to
this job is to develop a programming language and an optimized
compiler for a quantum computer.
 Sep 2010  Feb 2011
 "Assistant Temporaire d'éducation et de recherche (ATER)" at
Université Paris 13, Villetaneuse, France. One year contract,
combining research and teaching duties. Research within at the
computer science laboratory LIPN and teaching at "IUT
Villetaneuse".
 Oct 2009  Aug 2010.
 "Assistant Temporaire d'éducation et de recherche (ATER)" at
Université Joseph Fourier, Grenoble, France. One year contract,
combining research and teaching duties. Research within the
research group CAPP at the Laboratoire d'informatique de
Grenoble (LIG).
 Oct 2008  Sep 2009.
 Postdoc position funded by INRIA,
located in the computer science lab of the "Ecole Polytechnique"
(LIX), Palaiseau, France, within the
research group TYPICAL.
Grants, Awards and Funding Sources
 2018  2020

Project QuCa funded by ECOSSud Argentine. The funding covers several trips between France and Argentina.
 2017  2020
 Quantex research grant, with a national funding from BPI/GDN, from Ministère de l’Economie et des Finances. Partnership with LORIA (Nancy) and Atos/Bull. The project originally obtained a European Itea3 label, but the countries'partners pulled out.
 2017  2021
 ANR SoftQPro  National grant for a project partnered with LORIA (Nancy), CEANanoInnov and Atos/Bull.
 2016  2017
 Local research grant from the lab (LRI). Collaboration with
the VALS research team: FreeReg, Regularity for Free.
 2015  2017
 CORAC research grant, Thales Velizy. Collaborative grant
within the Modhel team.
 2015  2017
 SticAmSud research grant: Foundations of Quantum
Computation: Syntax and Semantics (FoQCoSS). Collaborative
grant between France, Argentina and Brasil.
 2015  2017
 Uruguayan research grant: Proyecto de investigación
Fundamental Fondo Clemente Estable. In collaboration with
the logic group in Montevideo.
 2008  2009.
 INRIA Saclay postdoctoral grant.
 2007  2008.
 Graduate Scholarship, Provincial Government of
Ontario.
 2007  2008.
 Excellence Scholarship, University of Ottawa.
 2004  2007.
 Ph.D. International Admission Scholarship, University of
Ottawa.
 2002  2003.
 M.Sc. International Admission Scholarship, University of
Ottawa.
 2001  2002
 Exchange Scholarship, Région Rhône Alpes.
For an exchange program between the Université Joseph
Fourier and the University of Ottawa.
Academic Responsabilities
 Externally


Program committee. QPL 2017 (14th International Conference
on Quantum Physics and Logic, The Netherlands, 2017).

Organising committee. POPL 2017 (44th ACM SIGPLAN
Symposium on Principles of Programming Languages, Paris,
France, 2017).

Program committee. RC 2016 (8th Conference on Reversible
Computation, Bologna, Italy, 2016).

Program committee. DCM 2014 (10th International Workshop
on Developments in Computational Models. Vienna, Austria,
2014).

Program committee. MFPS 2010 (26th Conference on
Mathematical Foundations of Programming Semantics. Ottawa,
Canada, 2010).
 Internally


Since 2015. On the « Conseil de
laboratoire » and the « Commission
matériel » at LRI.

Since 2015. In charge of the seminar of the team Modhel at
LRI.

2011. Responsible of the Smithgroup seminar of the DSL
lab, at the University of Pennsylvania.

2009. Briefly on the « Conseil de
laboratoire » of the computer science lab of
cole Polytechnique (LIX, Palaiseau).

Summers 2006 and 2007. Helper, CMS Math Camps. The CMS
Camps are ”mathematics enrich ment camps designed
primarily for Canadian students in grades 9 through 11”.

Fall 2005. Organizer, Graduate Student Seminar in
Mathematics, University of Ottawa, Fall 2005. The seminar
was joint with Carleton University.

From Fall 2003 to Fall 2005. Treasurer, Executive
Committee of the Graduate Student Association of the
Department of Mathematics and Statistic of the University
of Ottawa.

Academic Year 20032004. Graduate Student Representative,
University Senate (Science Section).
Professional affiliation
 Current


GdRI Linear Logic (since its creation in 2016)

CNRS GdR Informatique Mathématique
 GT Informatique Quantique
 GT Geocal

CNRS GdR Information Quantique, Fondements & Applications
(IQFA)
 ACM : SIGPLAN, SIGLOG
 Past

 20132014. ANR LOGOI (Logique et géometrie de
l'interaction)
 20142015. ANR COQUAS (Calculer avec la Sémantique
Quantitative)
Graduate Supervision
 In progress


Skander Kazdaghli, student from CentraleSupelec. 4month
summer internship cosupervised with Marc Baboulin at
LRI. Topic of the research: implementation and study of
the QSVE algorithm.

Timothée Goubault de Brugière, Ph.D. student
at LRI, Paris Saclay, since 2008. Cosupervision with Marc
Baboulin. Topic of the research: Optimization and
emulation of quantum circuits.

Yann Hamdaoui, Ph.D. student at IRIF, Paris
7, since 2014. Cosupervision with Claudia Faggian. Topic of the
research: Geometry of interaction and concurrency.
 Completed


Alexandre Clément, Master internship (stage M2 LMFI),
Summer 2018. Cosupervised with Michele Pagani at IRIF (Paris
7). Subject: denotational model of recursion in completely
positive maps.

Baptiste Colin, Final internship of engineering school
MinesParisTech, Summer 2018. Subject: compilation of a
functional programming language into reversible circuits.
 Nicolas Blanco, Master internship (stage M2 LMFI),
Summer 2015. The research subject was the denotational semantics of
probabilistic lambdacalculi.
 Temporary


2014, Université Paris 7. Cosupervision with Claudia
Faggian of a firstyear Ph.D student (Akira Yoshimizu)
during his first year. The work was about the development
of an operational semantics for callbyvalue based on a
novel presentation of Geometry of Interaction. We had
weekly meetings, and it resulted in a journal publication
(LICS 2015).

2011, University of Pennsylvania. Cosupervision with
Steve Zdancevic of a firstyear Ph.D student (Richard
Eisenberg) for a onesemester independent study on quantum
computation. The work con sisted in helping in the
preliminary design of the quantum programming language
Quipper, with weekly meetings.
Publications
 Journal Articles.


Pablo Arrighi, Alejandro DíazCaro and Benoît Valiron. The
Vectorial LambdaCalculus. Information and
Computation, 254(1):105139, June 2017.

A. Scherer, B. Valiron, S.C. Mau, Scott Alexander, E. van
den Berg and T. E. Chapuran. Concrete resource analysis of
the quantum linearsystem algorithm used to compute the
electromagnetic scattering cross section of a 2D
target. Quantum Information Processing 16:60, 2017

B. Valiron, N. J. Ross, P. Selinger, D. S. Alexander and
Jonathan M. Smith. Programming the Quantum Future.
Communications of the ACM, Vol. 58 No. 8,
pp. 5261, 2015.

B. Valiron and S. Zdancewic. Modeling simplytyped
lambdacalculus in the category of finite vector spaces.
Scientific Annals of Computer Science,
24(2):325368, 2014.

A. Assaf, A. DíazCaro, S. Perdrix, C. Tasson and
B. Valiron. Callbyvalue, callbyname and the vectorial
behaviour of the algebraic lambdacalculus. Logical
Methods in Computer Science, 10(4:8), 2014.

G. Chiribella, G. M. D'Ariano, P. Perinotti and
B. Valiron. Quantum computations without definite causal
structure. Physical Review A, 88:022318, 2013.

B. Valiron. A Typed, Algebraic, Computational
LambdaCalculus. Mathematical Structures in Computer
Science, 23(2):504554, 2013.

B. Valiron. Quantum Computation : from a Programmer's
Perspective. New Generation Computing, 31(1):126,
January 2013. (invited paper)

B. Valiron. Quantum Computation : a Tutorial. New
Generation Computing, 30(4):271296, 2012. (invited
paper)

P. Selinger and B. Valiron. A lambda calculus
for quantum computation with classical control.
Mathematical Structures in Computer Science,
16(3):527552, 2006.
 Book Chapter.


P. Selinger and B. Valiron. Quantum Lambda Calculus. Book
chapter in S. Gay and I. Mackie (Editors), Semantic
Techniques in Quantum Computation, Cambridge
University Press, pp. 135172, 2009.
 Refereed Conference and Workshop Proceedings.


Amr Sabry, Juliana Vizzotto and Benoît Valiron. From
Symmetric PatternMatching to Quantum Control. In
Proceedings of the 21st International Conference on
Foundations of Software Science and Computation Structures
(FoSSaCS'18), 2018.

Cyril Allouche, Marc Baboulin, Timothée Goubault de
Brugière (main author) and Benoît Valiron. Reuse method
for quantum circuit synthesis. In Proceedings of the International
Conference: Applied Mathematics, Modeling and
Computational Science (AMMCS 2017).

Hai Nguyen Van (main author), Thibaut Balabonski,
Frédéric Boulanger, Chantal Keller, Benoît Valiron and
Burkhart Wolff. A Symbolic Operational Semantics for TESL
with an Application to Heterogeneous System
Testing. Proceedings of the 15th International
Conference on Formal Modeling and Analysis of Timed
Systems (FORMATS'17), LNCS vol. 10419, pp. 318334,
2017.

U. Dal Lago, C. Faggian, B.Valiron and Akira Yoshimizu.
The Geometry of Parallelism: Classical, Probabilistic, and
Quantum Effects. Proceedings of the 44th ACM SIGPLAN
Symposium on Principles of Programming Languages
(POPL'17), pp. 833845, 2017.

B. Valiron. Generating reversible circuits from
higherorder functional programs. Proceedings of the
8th International Conference on Reversible Computation
(RC'16), LNCS vol. 9720, pp. 289306, 2016.

U. Dal Lago, C. Faggian, B. Valiron and A. Yoshimizu.
Parallelism and Synchronization in an Inﬁnitary Context.
Proceedings of the 30th Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS 2015), pp. 559572,
2015.

B. Valiron and S. Zdancewic. Finite Vector Spaces as Model
of SimplyTyped LambdaCalculi. In Proceedings of the
11th International Colloquium on Theoretical Aspects of
Computing (ICTAC 2014), Volume 8687 of Lecture Notes
in Computer Science, pp 442459, 2014.

M. Pagani, P. Selinger, B. Valiron. Applying quantitative
semantics to higherorder quantum computing. In
Proceedings of the 41st ACM SIGPLANSIGACT Symposium
on Principles of Programming Languages (POPL 2014),
ACM SIGPLAN Notices, Volume 49 Issue 1, January 2014.

A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger,
B. Valiron. An Introduction to Quantum Programming in
Quipper. In Proceedings of the 5th Conference on
Reversible Computation (RC 2013), Victoria, Canada,
Volume 7948 of Lecture Notes in Computer Science,
pp. 110124, 2013.

A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger and
B. Valiron. Quipper: A Scalable Quantum Programming
Language. In Proceedings of the 34th annual ACM
SIGPLAN conference on Programming Language Design and
Implementation (PLDI 2013). ACM SIGPLAN Notices,
Volume 48 Issue 6, pp. 333342. June 2013.

P. Arrighi, A. DíazCaro and B. Valiron. A type system for
the vectorial aspects of the linearalgebraic
lambdacalculus. In Elham Kashefi, Jean Krivine and Femke
van Raamsdonk: Proceedings of the 7th workshop on
Developments in Computational Models (DCM
2011). Electronic Proceedings in Theoretical Computer
Science 88, pp. 1–15, 2012

B. Valiron. Semantics of a typed algebraic
lambdacalculus. In S. B. Cooper,
P. Panangaden and E. Kashefi, Proceedings of
the 6th workshop on Developments in Computational Models,
Edinburgh, 9 – 10 July 2010. Volume 26 of Electronic
Proceedings in Theoretical Computer Science, pages
147158.

B. Valiron. On quantum and probabilistic linear
lambdacalculi (extended abstract). In Proceedings of
the Joint 5th International Workshop on Quantum Physics
and Logic and 4th Workshop on Developments in
Computational Models (QPL/DCM 2008), Reykjavik, Iceland,
1213 July 2008. Volume 270, Issue 1 of Electronic
Notes in Theoretical Computer Science, pages
121128. Elsevier, 2011.

P. Selinger and B. Valiron. A linearnonlinear model for
a computational callbyvalue lambdacalculus (extended
abstract). Proceedings of the 11th International
Conference on Foundation of Software Science and
Computation Structures (FoSSaCS'08), Budapest, Hungary,
March 29  April 6, 2008. Volume 4962 of Lecture
Notes in Computer Science, pages 8196. Springer, 2008.

P. Selinger and B. Valiron. On a fully abstract
model for a quantum linear functional
language. Proceedings of the 4th International
Workshop on Quantum Programming Languages, Oxford, July
1719, 2006. Volume 210 of Electronic Notes in
Theoretical Computer Science, pages 123137. Elsevier,
2008.

P. Selinger and B. Valiron. A lambda calculus
for quantum computation with classical control. In
P. Urzyczyn, editor, Proceedings of the Seventh
International Conference on Typed Lambda Calculi and
Applications (TLCA'05), Nara, Japan, April 2005,
volume 3461 of Lecture Notes in Computer Science, pages
354368. SpringerVerlag, 2005.
 Other Proceedings.


Frederic Boulanger, Dominique Marcadet, Safouan Taha and Benoit Valiron and Martin Rayrole.
A time synchronization protocol for A664P7. In
Proceedings of the 37th IEEE/AIAA Digital Avionics
Systems Conference (DASC 2018), London, Sep 2018.

Thibault Balabonski, Marco Gaboardi, Chantal Keller and
Benoît Valiron. Regularity for Free. In Book of
Abstract of TYPES 2017, Budapest, Hungary, May 2017.

A. Polonsky, M. Pagani and B. Valiron. Parallelism and
Synchronization in an Inﬁnitary Context. Informal
electronic proceedings of the 8th International Workshop
on HigherOrder Rewriting (HOR'16), Porto, Portugal,
June 2016.

H. Nguyen Van, T. Balabonski, F. Boulanger, S. Taha,
B. Valiron, B. Wolff, L. Ye. Towards a Formal Semantics
of the TESL Specification Language. Proceedings of
GEMOC+MPM@MoDELS 2015, pp. 1419, 2015.

M. Pagani, B. Valiron. Work in Progress: Algebraic
Abstract Reduction Systems. Proceedings of the
Workshop on Infinitary Rewriting (WIR'14). Vienna,
July 2014.

J. Ross, P. Selinger, J. M. Smith and B. Valiron. Quipper:
Concrete Resource Estimation in Quantum
Algorithms. Informal proceedings of QAPL'14, Grenoble,
April 2014.

A. DíazCaro, S. Perdrix, C. Tasson and
B. Valiron. Equivalence of algebraic lambdacalculi (work
in progress). PreProceedings of the 5th International
Workshop on HigherOrder Rewriting (HOR'10), Edinburgh, 14
juillet 2010, pages 611.

B. Valiron. Orthogonality and algebraic lambdacalculus (extended abstract).
Proceedings of the 7th QPL workshop, Oxford, 29 – 30 mai 2010.

B. Valiron. Quantum typing. In Proceedings of the
2nd International Workshop on Quantum Programming
Languages, editor Peter Selinger, TUCS General
Publication No 33, Turku Center for Computer Science,
2004.
 Posters


Cyril Allouche, Marc Baboulin, Timothée Goubault de
Brugière (main author and presenter) and Benoît
Valiron. Quantum Circuit synthesis with Householder
Transformations. Presented at QTech 2018 in
Paris.

Cyril Allouche, Marc Baboulin, Timothée Goubault de
Brugière (main author and presenter) and Benoît
Valiron. Quantum Circuit synthesis with Householder
Matrices. Presented at Journées annuelles du GdR
InformatiqueMathématique 2018.

Amr Sabry, Juliana Vizzotto and Benoît Valiron. From
Symmetric PatternMatching to Quantum Control. Presented
at QPL'17 in Nijmegen.

B. Valiron. Bell Inequalities for (almost) Free. Presented
at TQC'17 in Paris.
 Reports


A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger and
B. Valiron. Report on the Quipper language, version
0.3, with GFI algorithm implementations (Updated for
revision 0.34). 178 pages. July 2012. Report to IARPA,
for official use only.
 Drafts.


R. Eisenberg, B. Valiron and S. Zdancewic. Typechecking
Linear Data: Quantum Computation in Haskell. June 2012.

B. Valiron. Sums and Triangular Stacks of Integers. January 2010.
Invited talks

June 2018. On quantum and classical control. Invited
talk in the join session on quantum programming
at QPL and MFPS in Halifax, Canada.

March 2018. From symmetric patternmatching to quantum
control. Invited talk at Workshop on Combining
Viewpoints in Quantum Theory (CVQT) in Edinburgh.

Nov 2017. Quantum compilation: from highlevel toQuantum
compilation: from highlevel to lowlevel. Invited talk
at the workshop on design automation for quantum computers at
ICCAD'17.

Sep 2017. Quantum compilation: from highlevel to
intermediate representation. Invited talk at the special
session on programming laguages for quantum computation
at Forum on specification and Design Languages (FDL
2017).

March 2016. Automated, parametric gate count of quantum
programs. Invited talk on quantum programming at the
Aspen Winter Conference on Advances in Quantum Algorithms and
Computation.

June 2015. A Scalable Quantum Programming Language.
Plenary talk on quantum programming at IQC
(Waterloo, Canada) for the Workshop on Quantum Programming and
Circuits.

April 2010. Tutorial on quantum computation at PPS (University
Paris 7).

April 2009. Invited one week at the research group Quit
(Quantum information theory group) at the university of Pavia
for 6 hours of tutorial on quantum higherorder information
theory.
Popularization

2018. A formal analysis of quantum algorithms. ERCIM
News No. 112, pp. 2324.
 2017. Programmer un ordinateur quantique. Column
in MathsInfos HorsSérie Numéro 3, published by
Fondation Mathématique de Paris.

2017. Programmer un ordinateur
quantique. Presentation during a saturday event organized
by Maths en Mouvement and the Fondation des
Sciences Mathematiques de Paris.

2016. À la découverte de l’ordinateur quantique. Radio show
La tête au carré on the French public station France Inter.

2015. Programming the Quantum Future. Youtube Video
featured on CACM website. Produced by Tom Geller, following a
threehour discussion.
Talks at seminars and workshops without proceedings
 2018


From symmetric patternmatching to quantum
control. Presentation at the Logic and
Foundations of Programming Languages Day organised at
Universidad de Buenos Aires, May 2018.

Synthèse de Circuits Meeting of the BPI/GDN
project Quantex, Grenoble, June 2018.

Quels sont les problèmes pour coder un algorithme
quantique ? Kickoff meeting of the ANR project
SoftQPro, LRI, March 2018.
 2017


Probabilistic lambdacalculus and Bell's
inequalities. Math. dept. seminar, University of
Montevideo, Uruguay. April 2017.

A Geometry of Interaction for Quantum
Computation. Chocola meeting, Lyon. March 2017.

Programming and analyzing quantum algorithms.
seminar at CEA NanoInnov, Orsay. February 2017.
 2016


Quantum algorithms from a programmer's
perspective. Math. dept. seminar, University of
Montevideo, Uruguay. December 2016.

A Geometry of interaction for quantum
computation. First FoQCoSS Meeting, Universidad Nacional
de Quilmes Buenos Aires, Argentina. December 2016.

A Geometry of Interaction for Classical, Probabilistic,
and Quantum Effects. Workshop: LL2016  Linear Logic:
interaction, proofs and computation. Lyon. November 2016.

Automated, parametric gate count of quantum
programs. Banff workshop on Quantum Computer Science,
Canada. March 2016.
 2015


Callbyvalue, callbyname and Geometry of
Interaction. Deducteam seminar, INRIA. December 2015.

Multitoken interaction machines as a model of
callbyvalue. Journee Nouveaux arrivants, LRI,
Orsay. June 2015.

Parallelism and Synchronization in an Inﬁnitary
Context. Workshop: Games for Logic and Programming
Languages X (GaloP'15). London, April 2015

Simplytyped lambda calculi modeled with finite vector
spaces. Journees Francophones des langages applicatifs
(JFLA'15), Val d'Ajol. January 2015.
 2014


Applying quantitative semantics to higherorder quantum
computing. Domain XI, PPS, Universite Paris
Diderot. September 2014.

Geometry of synchronization and quantum
computation. Four seminars at IML,
Marseille. SeptemberNovember 2014.

Type system for automated generation of reversible
circuits.TYPES Workshop, IRIF, Paris Diderot. May
2014.

Finite Vector Spaces as Model of SimplyTyped
LambdaCalculi. LDP seminar, IML, Marseille. March
2014.

Towards a formal analysis of quantum
algorithms. Vals seminar, LRI, Orsay. March 2014.

Towards a formal analysis of quantum
algorithms. Chocola Workshop, Lyon. March 2014.
 2013


Toward a formal analysis of quantum algorithms.
IRISA seminar, Rennes. November 2013.

Toward a formal analysis of quantum
algorithms. Journées GT Informatique Quantique,
Nancy. October 2013.

Towards a formal analysis of quantum algorithms: The
programming language Quipper. Gallium seminar,
Rocquencourt. June 2013.

Applying quantitative semantics to higherorder
quantum computation. Workshop Logoi, Universite Paris
7. June 2013.

A Quantum Programming Language. Deducteam
seminar, INRIA. April 2013.

Quipper: a scalable quantum programming language.
Quantum Computing in Nancy, Nancy, Mars 2013.
 2012


Reversible Circuits for Arithmetic
Operations. Smithgroup seminar, University of
Pennsylvania. September 2012.

On denotational semantics of quantum computation.
Workshop on Logic and Interaction (LI2012), Marseille,
February 2012.

Toward duplication in denotational semantics of
quantum computation. PPS Seminar, Universite Paris
7. February 2012.

Programming a Quantum Device. PLClub, University
of Pennsylvania. September 2012.

Quantum programming. Smithgroup seminar,
University of Pennsylvania. September 2012.
 2011


(Algebraic Lambda) Calculus 101. PLClub,
University of Pennsylvania. September 2011.

Typechecking linearity constraints in
Haskell. PLClub, University of Pennsylvania. May
2011.

Introduction au lambdacalcul quantique. Groupe
de travail LCR, LIPN, Universite Paris 13,
Villetaneuse. Two presentations in January 2011.
 2010


Quantum computation and higherorder structures:
operational and denotational aspects. Logic and
Computation Seminar, Department of Mathematics of the
University of Pennsylvania, Philadelphia, October 2010.

Lambdacalcul algébrique, points fixes et
modèles, Journées GEOCALLAC, Nice, March 1517 2010.

Lambdacalcul algebrique, points fixes et
modeles, Journées GEOCALLAC, Nice, March 2010.

Lambdacalcul algébrique et espaces finitaires (report
on research). CAPPcafé, LIG, Université Joseph
Fourier, Grenoble, February 2010.

Interpreting (a portion of) lineal on a quantum
array. CAPPcafé, LIG, Université Joseph Fourier,
Grenoble, January 2010.

HigherOrder in Quantum Computation. Groupe de
travail sémantique, PPS, Paris 7, December 2010.
 2009


Ordre supérieur en calcul quantique. Gallium
seminar, INRIARocquencourt, April 2009.

Calcul quantique et structures logiques. Proval
seminar, INRIASaclay, April 2009.
 2008


On a simplytyped algebraic lambdacalculus.
(Informal) Workshop on HigherOrder Calculi and Algebraic
Structures, Grenoble, November 6 2008.

Introduction au calcul quantique d'ordre
supérieur. Threesessions tutorial on quantum
computation, TYPICAL seminar, Ecole Polytechnique,
Palaiseau, France, September 2008.

Semantics of higher order quantum computation. 16th
Workshop on Foundational Methods in Computer Science Dalhousie
University (FMCS 2008), Dalhousie University, Halifax, Canada,
May 30  June 1, 2008

On a semantics for higher order quantum
computation. IQIS Seminar, University of Calgary,
April 2008.

Towards a model for higher order quantum
programming. QCG Seminar, Grenoble, April 2008.

On the semantics for linear higherorder quantum
computation. Workshop on Logic, Physics and Quantum
Information Theory, Bellairs Research Station, Barbados, March
1721, 2008.

More Quantum Stuff. Atlantic Category Seminar,
Dalhousie University, January 2008.

Semantics for higherorder quantum computation.
LIPN Research Group Seminar, Paris XIII, January 2008.

A categorical semantics for a quantum
lambdacalculus. PPS Seminar, Paris VII, January
2008.
 20032007


When are Two Subgroups of the Rationals
Isomorphic? Graduate Student Seminar, Dalhousie
University, September 2007.

Some things to do with logic, computer science,
quantum mechanics and stuff. Atlantic Category
Seminar, Dalhousie University, April 2007.

A categorical model for a quantum lambda
calculus. Workshop on "Recent advances in category
theory and logic: Applications of traces to algebra,
analysis and categorical logic", Ottawa, April 2830,
2007.

Lambda calculus or the art of proof rewriting.
Graduate Student Seminar, Dalhousie University, March
2007.

Short Tour in Quantum Computation. Graduate
Student Seminar, Dalhousie University, October 2006.

On a fully abstract model for a quantum linear lambda
calculus. Category Theory Octoberfest 2006,
University of Ottawa, October 2122, 2006.

A lambda calculus for quantum computation with
classical control. LIPN Research Group Seminar, Paris
XIII, March 2006.

A Functional Programming Language for Quantum
Computation. 2nd Workshop on Logical and Semantical
Methods in Quantum Computation, Bellairs Research Station,
Barbados, March 2006.

A lambda calculus for quantum computation with
classical control. Leibniz Research Group Seminar,
UJF, Grenoble, January 2006.

A lambda calculus for quantum computation with
classical control. PPS Seminar, Paris VII, January
2006.

A lambda calculus for quantum computation with
classical control. OttawaCarleton Logic Seminar,
University of Ottawa, April 2005.

A lambda calculus for quantum computation with
classical control. Québec Programming Languages
Séminaire, McGill University, November 2004.

A Quantum Programming Language with Classical
Control. OttawaCarleton Logic Seminar, University of
Ottawa, November 2004.

A Functional Programming Language for Quantum
Computation with Classical Control. Category Theory
Octoberfest, McGill University, October 2004.

A functional programming language for quantum
computation with classical control. Graduate Student
Seminar, University of Ottawa, September 2004.

Quantum Typing. 15 minute student presentation,
Summer School of CTCS'04 (Category Theory in Computer
Science), IT University of Copenhagen, August 2004.

Quantum typing. Workshop on Foundational Methods in
Computer Science, Kananaskis Field Station, Alberta, June
2004.

Theory for a Quantum Functional Programming
Language. Graduate Student Seminar, University of
Ottawa, September 2003.

Quantum typing. 15 minute student presentation,
Fields Institute Summer School on Logic and Foundations of
Computation, University of Ottawa, June 2003.
Teaching Experience
 Since Feb 2015.

Assistant professor at the engineering school CentraleSupélec.
Lecturer for the following courses.

« Applications web » (Web technologies).
Taught in Winter 2016, Fall 2016 and Winter 2017.
Presentation of (some of) the main technologies to build
Ajax web application, with a presentation of the
eventdriven webprogramming model: HTML, CSS, Javascript
and jQuery, XML and JSON. On the server side: Node.js.
Each time, 21 hours of courses for about 20 students

« Traitement des langages » (Language processing).
Taught in Fall 2015 and Fall 2016.
Serve as the compilation course in the CS curriculum. Main
emphasis on the lexing and parsing aspect, with discussion
of the LL and LR methods for parser generation.
Each time, 21 hours of courses, for about 25 students.
 JanMay 2015.

Lecturer, 3rd year of University, course on the Ocaml and Java
vitual machines. Responsible for lecturing, producing the
course material, the exercises, the project and the exam for a
class of 47 students.
 SepDec 2010.
 Various responsabilities at IUT Villetaneuse for 1st year
students, as follows:
 Lecturer, introductory course on Unix for one class of 6
students.
 Lecturer, introductory course on Java for a class of 6
students and a class of 21 students.
 Teaching assistant, course on networks, with a focus on
the OSI model, layers 1, 2 and 3.
 SepDec 2009.
 Lecturer, 3rd year of university, course on XML technologies
(INF356).
Responsible for lecturing, producing the course material, the
exercices and the exams, for a class of 40 students. Computer
lab sessions were coordinated with a course assistant.
 JanMay 2009.
 Computer Lab Teaching Assistant, INF431
(Foundations of Computer Science, 2nd year), Ecole
Polytechnique.
Directed computer lab sessions of two groups of 2025 students,
marked corresponding homework, helped in designing lab session.
 MayJul 2007.
 Lecturer, Mat 1322 (firstyear calculus, in English),
University of Ottawa.
Responsible for lecturing, producing the course material, the
exercises, the homeworks and the exams for a class of 45
students. Supervised two teaching assistants for the recitations
and marking. Coordinated course materials with a parallel French
language section of the same course taught by another teacher.
 2005.
 Award for "Teaching Assistant of the Year 20032004",
Faculty of Science, University of Ottawa.
 2002  2005.
 Teaching Assistant in Mathematics, University of Ottawa.
Directed exercise sessions, marked homework, and proctored and
marked exams for first and second year level courses, in French
and in English. The number of students ranged from 10 to
60. List of courses:
 Fall 2005.
 Mat 1720. 1st year course: Calculus, Part II. In French.
 Fall 2004.
 Mat 1723. 1st year course: Calculus for Earth Science. In French.
 Fall 2004.
 Mat 1719. 1st year course: PreCalculus. In French.
 Winter 2004.
 Mat 2761. 2nd year course: Logic for Computing. In French.
 Fall 2003
 Mat 1700. 1st year course: Mathematical Methods. In French.
 Summer 2003.
 Mat 2377. 2nd year course: Probability and Statistics. In English.
 Winter 2003.
 Mat 2761. 2nd year course: Logic for Computing. In French.
 Fall 2002.
 Mat 1722. 1st year course: Calculus, Part II. In French.