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.

A print-friendly version is available here in German.

Academic Background

Ludwig-Maximilians-Universität München
2016– | Munich, Bavaria, Germany
M.Sc. Computer Science
École de technologie supérieure
2011–2015 | Montréal, Québec, Canada
B.Eng. Software Engineering
Cégep de Trois-Rivières
2008–2011 | Trois-Rivières, Québec, Canada
DCS Computer Science Technology

Extra-Academic Background

Oregon Programming Language Summer School
15 Jun. 2015–27 Jun. 2015 | Eugene, Oregon, United States
Summer School on Verification Technology, Systems & Applications
27 Oct. 2014–31 Oct. 2014 | Luxembourg, Luxembourg

Work Experience

AGA Financial Group
2013– | Westmount, Québec, Canada
Software Developer
Technische Universität München: Chair for Logic and Verification
May 2014–Dec. 2014 | Munich, Bavaria, Germany
Research Assistant Intern
Jan. 2013–Apr. 2013 | Montréal, Québec, Canada
Software Developer Intern
Jan. 2012–Apr. 2012 | Montréal, Québec, Canada
Software Developer Intern
ICO Technologies
Jan. 2011–Aug. 2011 | Shawinigan, Québec, Canada
Software Developer Intern
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


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


From a programming point of view, I have been in touch with several programming languages ranging from mainstream to almost completely unknown. When given a choice, I have a strong preference for strongly types functional language in the ML family. An exception is C++, a horribly complicate, ugly but powerful that I still enjoy programming in.

From a more human point of view, I know the following languages:

Personal notes