Benoît Valiron: CV

Curriculum Vitae for Benoît Valiron

Personal Details

Electronic Address:

benoit (dot) valiron (at) lipn (dot) univ-paris13 (dot) fr

Physical Address:

Room # A 104
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse

Birthdate:

October 1st, 1980

Citizenship:

French

Employment

Since Sep 2010.

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

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.

Scholarships

2007 - 2008.

Graduate Scholarship, Provincial Government of Ontario. $15,000 CA over three semesters.

2007 - 2008

Excellence Scholarship, University of Ottawa. $13,000 CA for one year. Paying tuition fees.

2004 - 2007.

Ph.D. International Admission Scholarship, University of Ottawa. $12,000 CA per year, renewable. The amount follows the admission fees.

2002 - 2003.

M.Sc. International Admission Scholarship, University of Ottawa. $12,000 CA for one year, non-renewable.

2001 - 2002

Exchange Scholarship, Région Rhône Alpes. $4,000 CA for 8 months. For an exchange program between the Université Joseph Fourier and the University of Ottawa.

Research Interests

• Models of Intuitionistic Linear Logic
• Categorical Logic and Algebraic Structures
• Lambda-Calculus and Higher-order Type Systems
• Semantics of Programming languages
• Quantum Computing

Teaching Experience

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.

Publications

Journal Articles.

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

• P. Selinger and B. Valiron. Quantum Lambda Calculus. In S. Gay and I. Mackie (Editors), Semantic Techniques in Quantum Computation, Cambridge University Press, pp. 135-172, 2009.

Refereed Conference and Workshop Proceedings.

• 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. Orthogonality and Algebraic Lambda-Calculus (Extended Abstract). To appear in the proceedings of the 7th QPL workshop, Oxford, 29 – 30 mai 2010.
• B. Valiron. On Quantum and probabilistic linear lambda-calculi (extended abstract). To appear in Proceedings of the joint 5th QPL and 4th DCM: Quantum Physics and Logic and Development of Computational Models (QPL/DCM 2008), Reykjavik, 2008.
• 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. Díaz-Caro, S. Perdrix, C. Tasson and B. Valiron. Equivalence of Algebraic Lambda-Calculi (Work in Progress). Proceedings of the 5th International Workshop on Higher-Order Rewriting (HOR'10), Edinburgh, 14 juillet 2010, pages 6-11.
• 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.

Drafts.

• B. Valiron. Sums and Triangular Stacks of Integers. January 2010.
• G. Chiribella, G. M. D'Ariano, P.Perinotti, B. Valiron. Beyond Quantum Computers. November 2009.

Conference presentations

• On a simply-typed algebraic lambda-calculus. (Informal) Workshop on Higher-Order Calculi and Algebraic Structures, Grenoble, November 6 2008.
• On Quantum and probabilistic linear lambda-calculi. Joint 5th QPL and 4th DCM, Reykjavik, Iceland, July 12-13, 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 the semantics for linear higher-order quantum computation. Workshop on Logic, Physics and Quantum Information Theory, Bellairs Research Station, Barbados, March 17-21, 2008.
• A linear-non-linear model for a computational call-by-value lambda-calculus. 11th International Conference on Foundation of Software Science and Computation Structures (FoSSaCS'08), Budapest, Hungary, March 29 - April 6, 2008.
• 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.
• On a fully abstract model for a quantum linear lambda calculus. Category Theory Octoberfest 2006, University of Ottawa, October 21-22, 2006.
• On a fully abstract model for a quantum linear functional language. 4th International Workshop on Quantum Programming Languages, Oxford, July 17-19, 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. 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005), Nara, Japan, April 2005.
• A Functional Programming Language for Quantum Computation with Classical Control. Category Theory Octoberfest, McGill University, October 2004.
• Quantum typing. 2nd International Workshop on Quantum Programming Languages, Turku, Finland, July 2004.
• Quantum typing. Workshop on Foundational Methods in Computer Science, Kananaskis Field Station, Alberta, June 2004.

Invited talks

• 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 higher-order information theory.

Seminar talks and short presentations

• Lambda-calcul algébrique, points fixes et modèles, Journées GEOCAL-LAC, Nice, March 15-17 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.
• Ordre supérieur en calcul quantique. Gallium seminar, INRIA-Rocquencourt, April 2009.
• Calcul quantique et structures logiques. Proval seminar, INRIA-Saclay, April 2009.
• Introduction au calcul quantique d'ordre supérieur. Three-sessions tutorial on quantum computation, TYPICAL seminar, Ecole Polytechnique, Palaiseau, France, September 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.
• 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.
• 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.
• 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.
• A lambda calculus for quantum computation with classical control. LIPN Research Group Seminar, Paris XIII, 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. 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.
• 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.

Other conferences and workshops attended

• QPL'09 (6th workshop on Quantum Physics and Logic), Oxford, England, April 8-9, 2009.
• ETAPS'08 (European Joint Conferences on Theory and Practice of Software), Budapest, Hungary, March 29 - April 6, 2008.
• Geometry of Computation 2006 (Geocal'06), Luminy, Marseille, January 30 - March 3, 2006.
• Category Theory Octoberfest '05, University of Ottawa, October 22-23, 2005.
• Fields Institute Summer School in Operator Algebras, Ottawa, June 7-17, 2005.
• LICS'05 (IEEE Symposium: Logic in Computer Science), Chicago, U.S.A, June 26-29, 2005.
• CTCS'04 (Category Theory and Computer Science), IT University of Copenhagen, August 12-14, 2004.
• LICS'04 (IEEE Symposium: Logic in Computer Science), Turku, Finland, July 13-17, 2004.
• LICS'03 (IEEE Symposium: Logic in Computer Science), University of Ottawa, June 21-27, 2003.
• FMCS'03 (Foundational Methods in Computer Science), University of Ottawa, May 30 - June 1, 2003.
• MFPS'03 (Mathematical Foundation of Programming Semantics), Université de Montréal, March 19-22, 2003.

Professional Activities

Peer Review

• On the program committee of MFPS 2010.
• Peer reviewer for the journal Theoretical Computer Science, and many conferences.

Other

2009.

Briefly on the "conseil de laboratoire" of the computer science lab of École Polytechnique (X, Palaiseau).

Summers 2006 and 2007.

Helper, CMS Math Camps. The CMS Camps are "mathematics enrichment 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).