Programming Languages
- C#
- Java
- OCaml
- TypeScript
- JavaScript
- SQL
- Python
- C++
- C
- Bash
Participated in the modernization of a large legacy software system (approximately 4 million lines of code).
Develop automation scripts, hold office hours, grade assignments and exams, and analyze submitted assignments to detect cases of plagiarism as part of an introductory course in functional programming paradigm and programming language theory.
Participate in the development of assignments, answer questions on discussion forums, hold office hours and interactive sessions about program design and verification with students as part of an object-oriented software development course.
Participate in the development of the Beluga proof assistant. Reimplementation of the lexer, parser, and a portion of semantic analysis to support incremental proof development in Beluga. Fixed bugs, updated the software requirements specification, and implemented new features.
Participate in a research project aimed at adapting the mechanization of Standard ML from Twelf to Beluga and provide feedback on the usability of the Beluga and Harpoon projects. Write bug reports and a technical report on the limitations of design decisions in the Beluga implementation.
Master of Science (M.Sc.) in Computer Science, specializing in programming language implementation. CGPA: 3.84/4.00
Thesis: Parsing, Lexical Scoping and Incremental Development for a Dependently-Typed Programming Language
Bachelor of Science (B.Sc.) in Honours Computer Science. CGPA: 3.84/4.00 Hydro-Québec Admission Excellence Award First Class Honours in Computer Science
Research report: Towards a Mechanization of Standard ML in Beluga using Harpoon
Diplôme d'études collégiales (DEC) in computer science and mathematics. CRC: 36.446
High school diploma (DES). Governor General's Academic Medal