jean-alexandre barszcz

I am a new Master's student at Université de Montréal, interested in PLT, type systems, logic, and formal methods. Previously, I completed a B. Eng. in computer engineering at Montreal Polytechnic, where in addition to the general curriculum, I focused on subjects such as functional programming, tracing on the linux x86-64 platform, compilers, some FPGA programming and verification, and some formal methods.