jean-alexandre barszcz

I am a bilingual (fr/en) software developer and occasional unicyclist. Following my recent move to the Ottawa-Gatineau region, I am now looking for the right job opportunity where I can contribute to make the world a little better.

I care about software quality, both in the software I design and, more broadly, in the practice of programming. This is what motivated me to pursue graduate studies in programming languages, and what influenced my course selection throughout my higher education.

My Master's thesis focuses on type classes (an implicit programming construct) in dependently-typed languages (where we can prove properties about our programs). During my undergraduate studies, in addition to the general curriculum, I explored subjects including: tracing on the linux x86-64 platform, compilers, FPGA programming and verification, and formal methods.