Jean-Alexandre Barszcz
jalex_b [at] hotmail [dot] com
Compétences
Informatiques
C/C++, Python, Erlang, Haskell, Ocaml, Agda, Scheme, Java, Bash, XSLT, VHDL, SystemVerilog, Assembleur x86-64, GNU/Linux, Git, Emacs, GDB, LaTeX
Langues
Français et anglais courants
Formation
2021 - 2024
Doctorat en informatique (en pause pour une durée indéterminée)
Université de Montréal
- Examen général de synthèse complété (cours, examen, présentation du sujet)
- Travail sur la réflexion de l'élaboration pour une métaprogrammation plus fiable
- Travail sur des preuves au sujet de la conversion des fermetures et des types dépendants
- Travail sur l'évolution des données et des interfaces pour une compatibilité accrue
2022
École d'Été d'Oregon en Langages de Programmation (OPLSS)
University of Oregon
2019 - 2021
Maîtrise en informatique
Université de Montréal
2013 - 2018
Baccalauréat en génie informatique
École Polytechnique de Montréal
Expérience professionnelle
2020
Auxiliaire d'enseignement pour deux cours
Université de Montréal
- Démonstration des exercices devant la classe et correction des projets
- Printemps: Compilation (IFT3065 au 1er cycle et IFT6232 aux cycles supérieurs)
- Été: Concepts des langages de programmation (IFT2035)
2017 - 2018
Développeur logiciel dans l'équipe Backend
Adgear
- Travail sur un encodeur/décodeur json performant pour les records en Erlang
2016
Stagiaire en développement logiciel sur le projet kunwind
Laboratoire de recherche sur les systèmes répartis ouverts et très disponibles (DORSAL)
École Polytechnique de Montréal
- But du projet: Ajouter les traces de pile d'espace utilisateur comme contexte aux points de trace lttng à l'aide d'un nouveau module noyau
2015
Stagiaire en développement logiciel dans l'équipe PDK du groupe IP
Cadence Design Systems
- Travail sur le déploiement distribué d'une suite logicielle interne
- Développement d'une fonctionnalité complète dans le dialecte SKILL de Lisp/Scheme
2012 - 2013
Tuteur en programmation et en physique
Collège de Bois-de-Boulogne
Prix et distinctions
2018
Deuxième place dans la catégorie Programmation fonctionnelle
2017
Deuxième place dans la catégorie Intelligence artificielle
2015
Première place dans la catégorie Embedded
2014
Troisième place dans la catégorie Embedded
Compétition interuniversitaire nord-américaine Computer Science Games (équipes de 2-3)
2015
Première place au classement général
Compétition informatique du Comité étudiant de génie informatique à Polytechnique
2014
Première place en première année et
Troisième place au classement général
Compétition informatique du Comité étudiant de génie informatique à Polytechnique
2013
Première place au Canada
Autres expériences
2019
Organisateur de la compétition de programmation fonctionnelle
Comité organisateur 2019 des CS Games
2016 - 2017
Co-organisateur
Délégation polytechnicienne aux CS Games 2017
2016
Organisateur responsable des épreuves pour la compétition informatique
Comité étudiant en génie informatique
- Conception d'épreuves pour la compétition
- Recrutement d'autres personnes pour l'écriture de questions supplémentaires
- Évaluation des soumissions des participants
2014 - 2016
Trésorier
2013 - 2016
Membre de l'équipe Navigation
Société technique Élikos à l'École Polytechnique de Montréal
- Première place en Amérique du Nord à l’International Aerial Robotics Competition en 2014, 2015, et 2016
Loisirs et intérêts
Patin à roues alignées, vélo, escalade (bloc), voile, monocycle, slackline, hockey