jean-alexandre barszcz

Dévelopeur bilingue (fr/en) et monocycliste occasionnel, je me suis récemment établi dans la région d'Ottawa-Gatineau et j'y cherche une opportunité d'emploi où je pourrai contribuer à rendre le monde un peu meilleur.

J'ai à coeur la qualité des logiciels, autant pour mes projets, que plus généralement dans la pratique de la programmation. C'est cette passion qui m'a incité à étudier aux cycles supérieurs dans le domaine des langages de programmation, et ce qui a influencé mes choix de cours tout au long de mes études.

Pour mon mémoire de maîtrise, j'ai étudié les classes de types (une fonctionnalité servant à la programmation implicite) dans les langages avec types dépendants (dans lesquels on peut prouver des propriétés de nos programmes). Durant mon baccalauréat, en plus du cheminement plus général, j'ai exploré les sujets suivants: le traçage (plateforme linux x86-64), le développement et la vérification sur FPGA, et des méthodes formelles.