Franck Binard, Ph.D

Research Interests: Theorem proving, automated deduction, formal methods in software engineering, computational logic, Evolutionary Algorithms, machine learning Preuves sur ordinateur, démonstration automatique, méthodes formelles en génie logiciel, logique calculatoire, programmation génétique, apprentissage automatique

Teaching

Current Year (2009)
• CSI 3520 Concepts des Langages de Programmation, Automne 2009

Other Recent Courses
• CSI 1706B Éléments de Programmation pour la Gestion, Automne 2007
• CSI 3505 Conception et analyse des algorithmes I, Automne 2006
• CSI 2172 C++ Concepts Laboratory, Summer 2006
• CSI 2572 Concepts de Programmation C++, Automne 2004
• CSI 2572 Concepts de Programmation C++, Automne 2003

Research

• Software Correctness and Safety Research Laboratory
• The Logic and Foundations of Computing Group

Bibliography, Theses, and Resume

• Abstraction-based Genetic Programming (PhD Thesis)
• Proving properties of programs using automatically generated models [microform] (Masters Thesis)
• Publication List
• CV in pdf format

Conferences

Miscellaneous

• Some of my OCamL code implementing an Abstraction-Based Genetic Programming (ABGP)
• Some of my C++ code implementing a 2D cellular automata generator
• Some of my C++ code specifying and implementing a GP system that evolves cooperative behaviour
• A tutorial on Lambda Prolog and its Application to Theorem Proving.

Franck Binard
School of Information Technology and Engineering (SITE)
University of Ottawa
800 King Edward Ave.
Ottawa, Ontario, Canada, K1N 6N5
Tel: (613) 562-5800 x6694, Fax: (613) 562-5664
Office: 5-068 SITE
Email: fbinard@site.uottawa.ca

Contactez: L'École d'ingénierie et de technologie de l'information /
Contact: School of Information Technology and Engineering
Copyright © Université d'Ottawa / University of Ottawa
Webmestre / Webmaster