Martin Desharnais

Abschluss: M.Sc, Ludwig-Maximilians-Universität München

Munich, Deutschland

Fähigkeiten und Kenntnisse

Standard ML
OCaml
Haskell
Scala
Java
C++
C#
C (programming language)
Functional Programming
Type Systems
Compilers
Programming Languages
Relational Databases
Automata Theory
Static code analysis
Linux
OpenBSD

Werdegang

Berufserfahrung von Martin Desharnais

  • Bis heute 11 Jahre und 3 Monate, seit Apr. 2013

    Programmer Analyst

    AGA Benefit Solutions

    I am the main developer of the administrator portal used by our clients to submit insurance relevant information on their members.

  • 8 Monate, Mai 2014 - Dez. 2014

    Research assistant

    TU München - Chair for Logic and Verification

    I contributed to the (co)datatype module of the Isabelle/HOL proof assistant.

  • 4 Monate, Jan. 2013 - Apr. 2013

    Software Developer

    Ubisoft Entertainment

    I implemented an automatic refactoring tool for C++ programms to optimise compilation time.

  • 4 Monate, Jan. 2012 - Apr. 2012

    Software Developer

    Genetec

    I implemented new features and maintained the video surveillance system Omnicast.

  • 8 Monate, Jan. 2011 - Aug. 2011

    Software Developer

    ICO Technologies

    I add new features and maintained the civil security platform, inventory system and city council management system.

  • 4 Monate, Mai 2010 - Aug. 2010

    IT Technician

    AGA Financial Solutions

    I was part of the help desk team and developed part of the corporate website.

  • 2008 - 2010

    Grocery Clerk

    IGA Grenier Fortin

  • 2005 - 2008

    Agricultural Labourer

    Jardins Dugrés

    I harvested fruits and vegetables.

Ausbildung von Martin Desharnais

  • 2 Jahre und 6 Monate, Apr. 2016 - Sep. 2018

    Informatik

    Ludwig-Maximilians-Universität München

  • 4 Jahre, Sep. 2011 - Aug. 2015

    Software Engineering

    École de technologie supérieure

Sprachen

  • Deutsch

    Fließend

  • Englisch

    Fließend

  • Französisch

    Muttersprache

21 Mio. XING Mitglieder, von A bis Z