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


PC and OC cochair. QPL 2020 (17th International
Conference on Quantum Physics and Logic).

Program committee. TTCS 2020 (Third IFIP International
Conference on Topics in Theoretical Computer Science)

Program committee. FoSSACS 2020 (23rd International
Conference on Foundations of Software Science and
Computation Structures)

Extended review committee. ICFP 2019 (24th ACM SIGPLAN
International Conference on Functional Programming).

Program committee. RC 2019 (11th Conference on Reversible
Computation).

Program committee. QPL and MFPS 2018 in Halifax (15th
International Conference on Quantum Physics and Logic and
34th Conference on the Mathematical Foundations of
Programming Semantics).

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


Kostia Chardonnet. Ph.D. student since 2019.
Cosupervision with Alexis Saurin (IRIF). Topic of the
research: reversible and quantum control flow, linear
logic.

Agustin Borgna, Ph.D. student since
2019. Cosupervision with Simon Perdrix (LORIA). Topic of
the research: ZX calculus and compilation of quantum
programs.

DongHo Lee, Ph.D. student since 2018. Cosupervision with
Valentin Perrelle (CEALIST). Topic of the research:
semantics of quantum programming languages.

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


20142018. Yann Hamdaoui, Ph.D. Cosupervision with
Claudia Faggian. Topic of the research: Geometry of
interaction and concurrency.

2018. 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.

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

2018. Baptiste Colin, Final internship of engineering school
MinesParisTech. Subject: compilation of a
functional programming language into reversible circuits.

2015. Nicolas Blanco, Master internship (stage M2 LMFI).
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.


Timothée Goubault de Brugière, Marc Baboulin, Benoît
Valiron, Cyril Allouche: Quantum circuits synthesis using Householder
transformations. Comput. Phys. Commun. 248: 107001 (2020)

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.


Timothée Goubault de Brugière, Marc Baboulin, Benoît
Valiron, Cyril Allouche: Synthesizing Quantum Circuits via
Numerical Optimization. ICCS (2) 2019: 316

Alejandro DíazCaro, Mauricio Guillermo, Alexandre Miquel
and Benoît Valiron. Realizability in the Unitary
Sphere. Proceedings of the 24th Annual ACM/IEEE Symposium
on Logic in Computer Science (LICS'19).

Timothée Goubault de Brugière, Marc Baboulin, Benoît
Valiron and Cyril Allouche. Synthesizing quantum circuits
via numerical optimization. Accepted for publication in
the the Proceedings of International Conference on
Computational Science (ICCS'19).

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. Toward analytic
rewriting theory. 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

September 2019. Tutorial on Quipper. Invited talk at
the Summer School on Quantum Languages Design and
Implementation in Verona, Italia.

April 2019. Programmation quantique, Aspects
Formels. Invited talk at the first TQCI seminar
(Teratec Quantum Computing Initiative), in Bruyères le
Châtel, France.

April 2019. Vers la programmation des algorithmes
quantiques. Invited talk at the general assembly of the
association ARISTOTE, in Paris, France.

January 2019. Programming Languages for Quantum
Computation. Invited talk at the workshop on Quantum
Computing organized by IEEEFrance in Paris, France.

December 2018. Calcul et langages de programmation
quantique. Invited talk at the "Journée LTP  Automne
2018" in Evry, France.

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.
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.