Martin Desharnais

I am a master student in computer science at the Ludwig-Maximilians-Univsersität München. I concluded a B.Eng. in Software Engineering at the École de technologie supérieure, Canada.

My main fields of interest are programming languages, type systems, functional programming, formal verification and static analysis.

Academic Background

Ludwig-Maximilians-Universität München
2016– | Munich, Bavaria, Germany
M.Sc. Computer Science
Average grade (German system): 1.28 (84/120 ECTS)
École de technologie supérieure
2011–2015 | Montréal, Québec, Canada
B.Eng. Software Engineering
Average grade (Quebec system): 3,91/4,30 (264 ECTS)
Cégep de Trois-Rivières
2008–2011 | Trois-Rivières, Québec, Canada
DCS Computer Science Technology

Extra-Academic Background

Lean Together 2019
7 Jan. 2019–11 Jan. 2019 | Amsterdam, The Netherlands
[WEB]
DSSS 2018: DeepSpec Summer School
16 Jul. 2018–27 Jul. 2018 | Princeton, New Jersey, United States
[WEB]
WAIT 2018: Fourth International Workshop on Automated (Co)inductive Theorem Proving
28 Jun. 2018–29 Jun. 2018 | Amsterdam, The Netherlands
[WEB]
Matryoshka 2018 : First European Workshop on Higher-Order Automated Reasoning
25 Jun. 2018–27 Jun. 2018 | Amsterdam, The Netherlands
[WEB]
OPLSS 2015: Oregon Programming Language Summer School
15 Jun. 2015–27 Jun. 2015 | Eugene, Oregon, United States
[WEB]
VTSA 2014: Summer School on Verification Technology, Systems & Applications
27 Oct. 2014–31 Oct. 2014 | Luxembourg, Luxembourg
[WEB]

Work Experience

3D EXCITE
2017– | Munich, Bavaria, Germany
Compiler Developer
Ludwigs-Maximilians-Universität: Chair of computer science (Prof. Martin Hofmann)
Apr. 2018–Aug. 2018 | Munich, Bavaria, Germany
Teaching Assistant
Ludwigs-Maximilians-Universität: Chair for programming and modelling languages (Prof. François Bry)
Apr. 2017–Aug. 2017 | Munich, Bavaria, Germany
Teaching Assistant
Technische Universität München: Chair for logic and verification (Prof. Tobias Nipkow)
May 2014–Dec. 2014 | Munich, Bavaria, Germany
Research Assistant Intern
AGA Financial Group
2013– | Westmount, Québec, Canada
Software Developer
Ubisoft
Jan. 2013–Apr. 2013 | Montréal, Québec, Canada
Software Developer Intern
Genetec
Jan. 2012–Apr. 2012 | Montréal, Québec, Canada
Software Developer Intern
ICO Technologies
Jan. 2011–Aug. 2011 | Shawinigan, Québec, Canada
Software Developer
AGA Financial Group
May 2010 – Aug. 2010 | Westmount, Québec, Canada
Computer Technician Intern
IGA Grenier Fortin
2008–2011 | Trois-Rivières, Québec, Canada
Grocery Clerk
Jardins Dugrés
2005–2007 | Trois-Rivières, Québec, Canada
Agricultural Labourer

Publications

Automatische statische Kosten-Analyse für parallele Programme
M.Sc Seminar, Ludwig-Maximilians-Universität München, 2017
[PDF]
Formalizing Types and Programming Languages in Isabelle/HOL
B.Eng. Thesis, École de technologie supérieure, 2014
[PDF]
Defining (Co)datatypes in Isabelle/HOL
Jasmin Christian Blanchette, M. D., Lorenz Panny, Andrei Popescu, and Dmitriy Traytel, Isabelle 2014 Release
[PDF]

Languages

Personal notes