I am a PhD student in computer science at the Max-Planck-Institut für Informatik (Germany). Before that, I concluded a M.Sc. at the Ludwig-Maximilians-Universität München (Germany) and 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.
Martin Bromberger, Martin Desharnais, and Christoph Weidenbach
CADE 29: 29th
International Conference on Automated Deduction (2023)
[Open
Access]
Martin Desharnais, Petar Vukmirović, Jasmin Blanchette, and Makarius
Wenzel
ITP 2022:
13th International Conference on Interactive Theorem
Proving
[Open
Access]
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
CADE 28: 28th
International Conference on Automated Deduction (2021)
[Open
Access]
Martin Desharnais, Stefan Brunthaler
Certified Programs
and Proofs (CPP) 2021
[Open
Access] [PDF
(preprint)] [PDF
(slides)]
Martin Desharnais, Stefan Brunthaler
Isabelle
Workshop 2020
[Open
Access] [PDF
(draft)] [slides]
Martin Desharnais, Stefan Brunthaler
Journées Francophones des
Langages Applicatifs (JFLA) 2020
[PDF
(draft)] [slides]
[Proceeding]
J Biendarra, J C Blanchette, A Bouzy, M Desharnais, M Fleury, J
Hölzl, O Kunčar, A Lochbihler, F Meier, L Panny, A Popescu, C Sternagel,
R Thiemann, and D Traytel
11th International Symposium on Frontiers of Combining
Systems, 2017
[PDF]
M.Sc Seminar, Ludwig-Maximilians-Universität München, 2017
[PDF]
B.Eng. Thesis, École de technologie supérieure, 2014
[PDF]
Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei
Popescu, and Dmitriy Traytel
Isabelle 2014 Release
[PDF]
Isabelle/HOL
Archive of Formal Proofs, 2023
AFP/Simple_Clause_Learning
Isabelle/HOL
Archive of Formal Proofs, 2020
AFP/Interpreter_Optimizations
Isabelle/HOL
Archive of Formal Proofs, 2020
AFP/VeriComp
Sep. 2021– | Saarbrücken, Saarland, Germany
PhD Student in Computer Science
Cosupervisor: Prof.
Dr. Christoph Weidenbach
Cosupervisor: Prof.
Dr. Jasmin Blanchette
Cosupervisor: Dr.
Sophie Tourret \
Apr. 2016–Nov. 2018 | Munich, Bavaria, Germany
M.Sc. Computer
Science
Average grade (German system, lower is better): 1.20 (120 ECTS)
Sep. 2011–Aug. 2015 | Montréal, Québec, Canada
B.Eng.
Software Engineering
Average grade (Quebec system, higher is better): 3,91/4,30 (264
ECTS)
Aug. 2008–Mai 2011 | Trois-Rivières, Québec, Canada
DCS
Computer Science Technology
20 Sep. 2019–26 Sep. 2019 | Herrsching, Germany
[WEB]
7 Jan. 2019–11 Jan. 2019 | Amsterdam, The Netherlands
[WEB]
16 Jul. 2018–27 Jul. 2018 | Princeton, New Jersey, United
States
[WEB]
28 Jun. 2018–29 Jun. 2018 | Amsterdam, The Netherlands
[WEB]
25 Jun. 2018–27 Jun. 2018 | Amsterdam, The Netherlands
[WEB]
Apr. 2017–Jun. 2017 | LMU Munich, Germany
[PDF]
15 Jun. 2015–27 Jun. 2015 | Eugene, Oregon, United States
[WEB]
27 Oct. 2014–31 Oct. 2014 | Luxembourg, Luxembourg
[WEB]
Sep. 2021– | Saarbrücken, Saarland, Germany
Research Associate
2013– | Westmount, Québec, Canada Software Developer
Feb. 2018–Aug. 2021 | Munich, Bavaria, Germany
Research Associate
Mai 2017–Nov. 2018 | Munich, Bavaria, Germany
Compiler Developer
Apr. 2018–Aug. 2018 | Munich, Bavaria, Germany
Teaching Assistant
Apr. 2017–Aug. 2017 | Munich, Bavaria, Germany Teaching Assistant
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
Jan. 2011–Aug. 2011 | Shawinigan, Québec, Canada
Software Developer
May 2010–Aug. 2010 | Westmount, Québec, Canada
Computer Technician Intern
2008–2011 | Trois-Rivières, Québec, Canada
Grocery Clerk
2005–2007 | Trois-Rivières, Québec, Canada
Agricultural Labourer
B.Sc. course at Universität der Bundeswehr München,
Germany
Main lecturer: Prof. Stefan Brunthaler
Language: German
Weekly exercices
M.Sc. course at Universität der Bundeswehr München,
Germany
Main lecturer: Prof. Stefan Brunthaler
Language: English
2019-05-14: Control-Flow Integrity
2019-05-21: Software Diversity, part 1
2019-06-04: Software Diversity vs BROP, COOP, JIT-Spraying
2019-06-18: Side Channels, Spectre & Meltdown