Jean-Alexandre Barszcz


jalex_b [at] hotmail [dot] com

Skills and Abilities

Computer Engineering skills

C/C++, Python, Erlang, Haskell, Ocaml, Agda, Scheme, Java, Bash, XSLT, VHDL, SystemVerilog, x86-64 assembly, GNU/Linux, Git, Emacs, GDB, LaTeX

Languages

French (native)
English (professional proficiency)

Education and training

2021 - 2024
PhD candidate in Computer Science (indefinite break)
Université de Montréal
  • Completed comprehensive examination (courses, general exam, presentation of research proposal)
  • Work on reflection of elaboration to make metaprogramming safer
  • Work on proofs about closure conversion in dependently-typed languages
  • Work on data and interface evolution to increase software compatibility
2022
Oregon Programming Languages Summer School (OPLSS)
University of Oregon
2019 - 2021
Master's in Computer Science
Université de Montréal
2013 - 2018
B. Eng. in Computer Engineering
École Polytechnique de Montréal

Professional experience

2020
Teaching assistant for two courses
Université de Montréal
2017 - 2018
Software Developer in the Backend team
Adgear
  • Work on a high-performance json encoder/decoder for Erlang records
2016
Software Engineering Intern on the kunwind project
Distributed Open Reliable Systems Analysis Lab (DORSAL)
École Polytechnique de Montréal
  • Project goal : Adding userspace backtraces as context to lttng tracepoints with a new kernel module
2015
Software Engineering Intern in the PDK team of the IP Group
Cadence Design Systems
  • Work on the distributed deployment of an internal software suite
  • Full feature development in the SKILL dialects of Lisp/Scheme
2012 - 2013
Peer tutor in programming and physics
Collège de Bois-de-Boulogne

Honors and awards

2018
Second place in the Functional Programming category
2017
Second place in the Artificial Intelligence category
2015
First place in the Embedded category
2014
Third place in the Embedded category
CS Games inter-university computer science competition (teams of 2-3)
2015
First place overall
The Computer Engineering Student Association programming competition at Polytechnique
2014
First place in first year
Third place overall
The Computer Engineering Student Association programming competition at Polytechnique

Other experience

2019
Organizer of the functional programming competition
CS Games's 2019 organizing committee
2016 - 2017
Co-Organizer
Polytechnique delegation at the 2017 CS Games
2016
Organizer responsible for the challenges of the programming competition
The Computer Engineering Student Association (fr. CEGInfo)
  • Designing challenges for the student competition
  • Recruiting people to write additionnal challenges
  • Evaluating participants' submissions
2014 - 2016
Treasurer
2013 - 2016
Member of the navigation team
Technical student club Élikos at Polytechnique
  • First place in North America at the International Aerial Robotics Competition in 2014, 2015, and 2016

Interests and activities

Inline skating, cycling, bouldering, sailing, unicycle, slackline, hockey