Curriculum Vitæ

Sylvain Hallé
Department of Computer Science and Mathematics
Université du Québec à Chicoutimi
555, boul. de l'Université
Chicoutimi, QC
G7H 2B1 Canada
shalle@acm.org

Education

2005-2008 - Université du Québec à Montréal: Ph.D. in Computer Science. Dissertation: "Specification, Verification and Satisfiability of Hybrid Constraints by Reduction to Temporal Logic." Advisors: Omar Cherkaoui, Roger Villemaire. Research project in collaboration with the CANARIE consortium, funded by a postgraduate scholarship from the Natural Sciences and Engineering Research Council of Canada (NSERC).
2003-2005 - Université du Québec à Montréal: M.Sc. in Mathematics and Computer Science. Advisor: Roger Villemaire. Research project in collaboration with Cisco Systems inc., funded by a scholarship from Institut des Sciences Mathématiques (ISM).
2002 - Université Laval: Certificate in Computer Science
1999-2002 - Université Laval: B.Sc. in Mathematics
1997-1999 - Petit Séminaire de Québec: International Baccalaureate (IB) in Pure Sciences, Bilingual Diploma (French/English)

Employment history

Research

2010-present - Université du Québec à Chicoutimi: Assistant professor, Department of Computer Science and Mathematics.
2008-2010 - University of California Santa Barbara: Postdoctoral research fellow, Department of Computer Science. Supported by a Postdoctoral Fellowship from Fonds québécois de recherche sur la nature et les technologies (FQRNT, Canada). Supervisor: Tevfik Bultan.
2008 - INRIA Nancy Research Center (Nancy, France): Postdoctoral research fellow (was offered the job but declined it)
May-Aug 2006 - Université du Québec à Montréal: Supervision of an undergraduate student (Jérôme Tremblay) in the development of a software validation tool for the User-Controlled Lightpaths Project of the CANARIE consortium. The results of this Summer project have then been made into a paper, published in WS-FM 2007 (see publications).
May-Aug 2001 - Université Laval: Research assistant in Interdisciplinary Research Group on Finite Element Method (GIREF; sup. André Fortin)
May-Aug 2000 - Université Laval: Research assistant, NSERC Undergraduate Summer Scholarship in Theoretical Computer Science (sup.: Jules Desharnais)

Invited researcher

2009 - Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia: Centre for Information and Communication Technologies; reference: John Zic
2008 - École normale supérieure (ENS) de Cachan, France: Laboratoire de spécification et vérification (Specification and Verification Lab); reference: Stéphane Demri

Lecturing and tutoring experience

Aug-Dec 2006 - Université du Québec à Montréal: Lecturer, course MAT1110 "Calculus I" (multivariate differential and integral calculus, undergraduate). Evaluation report available upon request (3.6 on a scale of 1 to 4).
May-Oct 2004 - Université du Québec à Montréal: Teaching assistant, courses INF8641 "Computer Networks" (graduate) and INF7541 "Automata and Languages" (graduate).
Sep-Dec 2000 - Université Laval: Teaching assistant, course IFT-17588 "Analysis of Algorithms" (undergraduate).
1999-2000 - Université Laval: Mathematics tutor for High School students

Management and development

2005-2007 - Project Science and Mathematics in Action (SMAC), Université Laval

Production Director.

Responsible for the creation of a series of math conferences for High School students touring across Québec, Ontario and New Brunswick.
Manager of the development of an online multimedia math game called Math en jeu (MathAmaze in English), supervising 20 CS and Science Education students.
SMAC is currently funded by NSERC's PromoScience program and MITACS.

2002 - Université Laval

Design of the mathematical and multimedia content for the opening public lecture of the Canadian Mathematical Society's 2002 Summer Meeting. The lecture was given by prof. Jean-Marie De Koninck.

Awards and grants

Scholarships and grants

2008-2010 - Fonds québécois de recherche sur la nature et les technologies (FQRNT): Postdoctoral research fellowship ($60,000)
2006-2008 - Natural Science and Engineering Research Council (NSERC): Postgraduate research scholarship (Ph.D.; $21,000 per year)
2006 - Fonds québécois de recherche sur la nature et les technologies (FQRNT): Doctoral research scholarship ($20,000 per year, declined)
2005-2006 - National Science and Engineering Research Council (NSERC): Industrial postgraduate research scholarship, partnership with Cisco Systems inc. ($21,000 per year)
2005 - Université du Québec à Montréal: Grant from the Faculty of Science (stipend for participation to a conference, $500)
2005 - Institut des sciences mathématiques (ISM): Doctoral research scholarship ($10,000)
2003 - Institut des sciences mathématiques (ISM): Doctoral research scholarship ($8,000)
2003 - Fields Institute for the Mathematical Sciences: Participation to the Fields Summer School on Logic and Foundations of Computation, University of Ottawa ($1,000 stipend)
2000 - National Science and Engineering Research Council (NSERC): Undergraduate summer scholarship ($5,000)
1999 - Chambre de commerce et d'industrie du Québec métropolitain: Best academic record (college level; $1,000)
1999 - Association des diplômés de l'Université Laval (ADUL): Entry scholarship ($1,000)
1999 - McGill University: Entry scholarship ($3,000, declined)

Other awards

2010 - Governor General of Canada's Academic Medal: Best academic record (Ph.D. level)
2008 - Natural Sciences and Engineering Research Council (NSERC): Nominated by UQAM for NSERC's doctoral prize
2007 - Fédération informatique du Québec (FiQ): Finalist, OCTAS 2007 Awards, in two categories: "Student project" and "IT in culture, education and the media"
2005 - Université du Québec à Montréal: Honorable mention from the Dean of the Faculty of Science (excellence of academic record for M.Sc. program)
2001 - Laval University's Faculty of Science and Engineering Student Association (AESGUL): Most active student (Mathematics)
1998 - Ernest C. Manning Foundation: Ernest C. Manning Young Canadian Innovation Award, Canada-wide Science Fair ($500)
1997 - Governor General of Canada's Academic Medal: Best academic record (High School level)
1997 - American Mathematical Society: Karl Menger Memorial Award, Intel International Science and Engineering Fair (ISEF; $750)
1994-1998 - Regional, Provincial and National Science Fairs: 2 gold medals in Computer Science, Canada-Wide Science Fair (1996, 1998); award from the Canadian Mathematical Society (1998); provincial first prize ($1,000, 1996). I also attended 4 international science fairs: ESI 1997 (Pretoria, South Africa), Intel ISEF 1997 (Louisville, USA), Entretiens Jacques-Cartier 1997 (Lyon, France), ESI 1999 (Puebla, Mexico).

Publications and Communications

Publications and communications are listed in their own separate page.

Professional Experience

Editing

2009 - International Journal on Systems and Software Engineering (IJSSE): Member, Editorial Review Board (ERB)
2009 - International Journal on Business Process Integration and Management: Guest editor, "Special Issue on Dynamic and Declarative Business Processes", to appear at the end of 2009

Organizing committees

2008-2009 - First and Second International Workshop on Dynamic and Declarative Business Processes (DDBP 2008/2009): Workshop co-chair. The events were held jointly with the 13th/14th IEEE EDOC Conference in Munich, Germany (2008) and Auckland, New Zealand (2009). Proceedings published by the IEEE Computer Society.
2007-2008 - International Symposium on Temporal Representation and Reasoning (TIME 2008): Co-chair, Local Organizing Committee. Event held in Montreal, June 16-18, 2008.
2001 - 8th Canadian Undergraduate Mathematics Conference (CUMC 2001): Co-chair, Local Organizing Committee. Event held in Université Laval, June 2001.

Paper referee

Books:

Advanced Applications and Structures in XML Processing, IGI

Journals:

IEEE Transactions on Software Engineering
Service Oriented Computing and Applications (SOCA), Springer

International conferences:

International Conference on Database and Expert Systems Applications (DEXA) 2009
IADIS Information Systems (IS) 2009
International Symposium on Temporal Representation and Reaoning (TIME) 2008
IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM) 2005 and 2006
Colloque francophone Gestion de réseaux et de services (GRES; Francophone Colloquium on Network and Service Management) 2006
EuroNGI Conference on Next Generation Internet Networks (NGI) 2007

Institutional committees

The following are all elected positions.

2006-2007 Faculty of Science Research Committee (Comité de la recherche de la Faculté des sciences de l'UQAM): Student representative
2005-2006 UQAM Academic Commission (Commission des études de l'UQAM): Student representative for the Faculty of Science, member of the Revision Committee of UQAM's Policy no. 10 on Research and Creation
2005-2006 Faculty of Science Academic Council (Conseil académique de la Faculté des sciences de l'UQAM): Student representative
2005-2007 UQAM's Faculty of Science Student Association (AESSUQAM): Vice-president, academic affairs (2005-2006); vice-president, graduate studies (2006-2007)
2000-2001 Laval University's Faculty of Science and Engineering Student Association (AESGUL): Vice-president, external affairs

Miscellaneous

Programming languages and technologies: C/C++, Java, Prolog, HTML/CSS, Apache, MySQL, PHP, NuSMV, Flash, Premiere, Audition.
Languages: French (mother tongue), English (fluent), Spanish (beginner).
I play the clarinet and (somehow) the piano.

Memberships

Association for Computing Machinery (ACM)
Association for Symbolic Logic (ASL)
Association francophone pour le savoir (Acfas)
IEEE Computer Society and Communication Society