Langages de programmation
- C#
- Java
- OCaml
- TypeScript
- JavaScript
- SQL
- Python
- C++
- C
- Bash
Participer à la modernisation d'un grand système logiciel legacy (approximativement 4 millions de lignes de code).
Développer des scripts d'automatisation, animer des heures de questions, corriger des devoirs et des examens, et analyser les devoirs soumis pour détecter les cas de plagiat dans le cadre d'un cours d'introduction au paradigme de programmation fonctionelle et à la théorie des langages de programmation.
Participer à l'élaboration des travaux pratiques, répondre aux questions sur des forums de discussion, animer des heures de questions et des sessions interactives de conception et vérification de programmes avec des étudiants dans le cadre d'un cours de développement logiciel orienté objets.
Prendre part à l'implémentation du langage de preuve Beluga. Réimplémentation de l'analyseur lexical, de l'analyseur syntaxique et d'une partie de l'analyseur sématique pour supporter le développement incrémental de preuves dans Beluga. Correction de bogues, mise à jour de la spécification des exigences logicielles, et implémentation de nouvelles fonctionnalités.
Prendre part à un projet de recherche visant à adapter la mécanisation de Standard ML de Twelf vers Beluga et fournir des retours sur l'efficacité d'utilisation des projets Beluga et Harpoon. Rédiger des rapports de bogue et un rapport technique sur les limitations de certaines décisions de design de l'implémentation de Beluga.
Maîtrise en sciences (M.Sc.) informatiques, concentration en implémentation de langages de programmation. CGPA: 3.84/4.00
Thèse: Parsing, Lexical Scoping and Incremental Development for a Dependently-Typed Programming Language
Baccalauréat en sciences (B.Sc.) informatiques cheminement honor. CGPA: 3.84/4.00 Prix d'excellence à l'admission Hydro-Québec First Class Honours in Computer Science
Rapport de recherche: Towards a Mechanization of Standard ML in Beluga using Harpoon
Diplôme d'études collégiales (DEC) en sciences informatiques et mathématiques. CRC: 36.446
Diplôme d'études secondaires (DES). Médaille académique du Gouverneur général