Benoit fraikin
Inscrit depuis le 20 juin 2010
Anciennement chargé de cours à l'Université de Sherbrooke en informatique, en mathématique et en génie logiciel, je suis responsable du contrôle et de la qualité du développement sur le projet PARS3 au sein du groupe GRIIS de l'Université de Sherbrooke, avec le professeur Luc Lavoie et le docteur Jean-François Éthier.
Mes champs d'intérêt particulier comptent, entre autres,
- la logique mathématique au sens large
- l'informatique théorique (expression algébrique, automate, grammaire, ...)
- la théorie de la compilation
- la théorie des langages de programmations
- l'ingénierie des exigences
- les méthodes formelles de spécifications et de V&V
- la programmation fonctionnelle (notamment Scheme, OCaml, Haskell)