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 Joliot-Curie
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 higher-order 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
Post-doc position in the laboratory PPS of Université Paris Diderot, in France, funded by the ANR LoGoI, then the ANR CoQuas.
Mar 2011 - Aug 2013
Post-doc 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.
Post-doc position funded by INRIA, located in the computer science lab of the "Ecole Polytechnique" (LIX), Palaiseau, France, within the research group TYPICAL.

Grants and Awards

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 2003-2004. 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
  • 2013-2014. ANR LOGOI (Logique et géometrie de l'interaction)
  • 2014-2015. ANR COQUAS (Calculer avec la Sémantique Quantitative)

Graduate Supervision

In progress
  • Timothée Goubault de Brugière, (soon to be) Ph.D. student at LRI, Paris Saclay. Co-supervision with Marc Baboulin. Topic of the research: Optimization and emulation of quantum circuits.
  • Yann Hamdaoui, Ph.D. student at IRIF, Paris 7. Co-supervision with Claudia Faggian. Topic of the research: Geometry of interaction and concurrency.
Completed
  • Nicolas Blanco, Master student (stage M2 LMFI), 2015. The research subject was the denotational semantics of probabilistic lambda-calculi.
Temporary
  • 2014, Université Paris 7. Co-supervision with Claudia Faggian of a first-year Ph.D student (Akira Yoshimizu) during his first year. The work was about the development of an operational semantics for call-by-value 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. Co-supervision with Steve Zdancevic of a first-year Ph.D student (Richard Eisenberg) for a one-semester 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íaz-Caro and Benoît Valiron. The Vectorial Lambda-Calculus. Information and Computation, 254(1):105-139, 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 linear-system 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. 52-61, 2015.
  • B. Valiron and S. Zdancewic. Modeling simply-typed lambda-calculus in the category of finite vector spaces. Scientific Annals of Computer Science, 24(2):325-368, 2014.
  • A. Assaf, A. Díaz-Caro, S. Perdrix, C. Tasson and B. Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus. 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 Lambda-Calculus. Mathematical Structures in Computer Science, 23(2):504-554, 2013.
  • B. Valiron. Quantum Computation : from a Programmer's Perspective. New Generation Computing, 31(1):1-26, January 2013. (invited paper)
  • B. Valiron. Quantum Computation : a Tutorial. New Generation Computing, 30(4):271-296, 2012. (invited paper)
  • P. Selinger and B. Valiron. A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16(3):527-552, 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. 135-172, 2009.
Refereed Conference and Workshop Proceedings.
  • 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. 833--845, 2017.
  • B. Valiron. Generating reversible circuits from higher-order functional programs. Proceedings of the 8th International Conference on Reversible Computation (RC'16), LNCS vol. 9720, pp. 289-306, 2016.
  • U. Dal Lago, C. Faggian, B. Valiron and A. Yoshimizu. Parallelism and Synchronization in an Infinitary Context. Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015), pp. 559-572, 2015.
  • B. Valiron and S. Zdancewic. Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. In Proceedings of the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), Volume 8687 of Lecture Notes in Computer Science, pp 442-459, 2014.
  • M. Pagani, P. Selinger, B. Valiron. Applying quantitative semantics to higher-order quantum computing. In Proceedings of the 41st ACM SIGPLAN-SIGACT 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. 110-124, 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. 333-342. June 2013.
  • P. Arrighi, A. Díaz-Caro and B. Valiron. A type system for the vectorial aspects of the linear-algebraic lambda-calculus. 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 lambda-calculus. 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 147-158.
  • B. Valiron. On quantum and probabilistic linear lambda-calculi (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, 12-13 July 2008. Volume 270, Issue 1 of Electronic Notes in Theoretical Computer Science, pages 121-128. Elsevier, 2011.
  • P. Selinger and B. Valiron. A linear-non-linear model for a computational call-by-value lambda-calculus (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 81-96. 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 17-19, 2006. Volume 210 of Electronic Notes in Theoretical Computer Science, pages 123-137. 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 354-368. Springer-Verlag, 2005.
Other Proceedings.
  • A. Polonsky, M. Pagani and B. Valiron. Parallelism and Synchronization in an Infinitary Context. Informal electronic proceedings of the 8th International Workshop on Higher-Order 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. 14-19, 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íaz-Caro, S. Perdrix, C. Tasson and B. Valiron. Equivalence of algebraic lambda-calculi (work in progress). Pre-Proceedings of the 5th International Workshop on Higher-Order Rewriting (HOR'10), Edinburgh, 14 juillet 2010, pages 6-11.
  • B. Valiron. Orthogonality and algebraic lambda-calculus (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.
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.3-4). 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

Popularization

Talks at seminars and workshops without proceedings

2017
  • Probabilistic lambda-calculus 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 Nano-Innov, 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
  • Call-by-value, call-by-name and Geometry of Interaction. Deducteam seminar, INRIA. December 2015.
  • Multitoken interaction machines as a model of call-by-value. Journee Nouveaux arrivants, LRI, Orsay. June 2015.
  • Parallelism and Synchronization in an Infinitary Context. Workshop: Games for Logic and Programming Languages X (GaloP'15). London, April 2015
  • Simply-typed lambda calculi modeled with finite vector spaces. Journees Francophones des langages applicatifs (JFLA'15), Val d'Ajol. January 2015.
2014
  • Applying quantitative semantics to higher-order quantum computing. Domain XI, PPS, Universite Paris Diderot. September 2014.
  • Geometry of synchronization and quantum computation. Four seminars at IML, Marseille. September-November 2014.
  • Type system for automated generation of reversible circuits.TYPES Workshop, IRIF, Paris Diderot. May 2014.
  • Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. 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 higher-order 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. PL-Club, University of Pennsylvania. September 2012.
  • Quantum programming. Smithgroup seminar, University of Pennsylvania. September 2012.
2011
  • (Algebraic Lambda) Calculus 101. PL-Club, University of Pennsylvania. September 2011.
  • Type-checking linearity constraints in Haskell. PL-Club, University of Pennsylvania. May 2011.
  • Introduction au lambda-calcul quantique. Groupe de travail LCR, LIPN, Universite Paris 13, Villetaneuse. Two presentations in January 2011.
2010
  • Quantum computation and higher-order structures: operational and denotational aspects. Logic and Computation Seminar, Department of Mathematics of the University of Pennsylvania, Philadelphia, October 2010.
  • Lambda-calcul algébrique, points fixes et modèles, Journées GEOCAL-LAC, Nice, March 15-17 2010.
  • Lambda-calcul algebrique, points fixes et modeles, Journées GEOCAL-LAC, Nice, March 2010.
  • Lambda-calcul algébrique et espaces finitaires (report on research). CAPP-café, LIG, Université Joseph Fourier, Grenoble, February 2010.
  • Interpreting (a portion of) lineal on a quantum array. CAPP-café, LIG, Université Joseph Fourier, Grenoble, January 2010.
  • Higher-Order in Quantum Computation. Groupe de travail sémantique, PPS, Paris 7, December 2010.
2009
  • Ordre supérieur en calcul quantique. Gallium seminar, INRIA-Rocquencourt, April 2009.
  • Calcul quantique et structures logiques. Proval seminar, INRIA-Saclay, April 2009.
2008
  • On a simply-typed algebraic lambda-calculus. (Informal) Workshop on Higher-Order Calculi and Algebraic Structures, Grenoble, November 6 2008.
  • Introduction au calcul quantique d'ordre supérieur. Three-sessions 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 higher-order quantum computation. Workshop on Logic, Physics and Quantum Information Theory, Bellairs Research Station, Barbados, March 17-21, 2008.
  • More Quantum Stuff. Atlantic Category Seminar, Dalhousie University, January 2008.
  • Semantics for higher-order quantum computation. LIPN Research Group Seminar, Paris XIII, January 2008.
  • A categorical semantics for a quantum lambda-calculus. PPS Seminar, Paris VII, January 2008.
2003-2007
  • 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 28-30, 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 21-22, 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. Ottawa-Carleton 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. Ottawa-Carleton 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 event-driven web-programming 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.
Jan-May 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.
Sep-Dec 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.
Sep-Dec 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.
Jan-May 2009.
Computer Lab Teaching Assistant, INF431 (Foundations of Computer Science, 2nd year), Ecole Polytechnique.
Directed computer lab sessions of two groups of 20-25 students, marked corresponding homework, helped in designing lab session.
May-Jul 2007.
Lecturer, Mat 1322 (first-year 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 2003-2004", 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: Pre-Calculus. 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.