Benoît Valiron: CV

Curriculum Vitae for Benoît Valiron

Personal Details

Electronic Address:

valiron (at) lix (dot) polytechnique (dot) fr

Physical Address:

Room # 00-1008
Laboratoire d'Informatique (LIX)
École polytechnique
91128 Palaiseau Cedex
France

Birthdate:

October 1st, 1980

Citizenship:

French

Employment

Since October 2009

"Assistant Temporaire d'éducation et de recherche (ATER)" at Université Joseph Fourier, Grenoble, France. One year contract, combining research and teaching duties. The research will be done 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

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.

Chapters.

• P. Selinger and B. Valiron. Quantum Lambda Calculus. To appear in Semantic Techniques in Quantum Computation, published by Cambridge University Press.

Refereed Conference Proceedings.

• 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 conference proceedings.

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. About Typed Algebraic Lambda-Calculi. January 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.

Seminar talks and short presentations

• 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

Winter 2008.

Peer reviewer for Journal of Theoretical Computer Science.

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