CV

Education

PhD Student (International PhD)

2017 - Present
TU Wien (Vienna, Austria) and University of Rennes 1 (Rennes, France)

Behavioral Typing to Support Offline and Online Analysis of Executable DSLs.

Professional Master’s degree in Software Engineering

2014 - 2015
ISTIC, University of Rennes 1

Research Master’s degree in Computer Science

2012 - 2014
ISTIC, University of Rennes 1

Bachelor’s degree in Computer Science

2007 - 2012
ISTIC, University of Rennes 1

Internships

Master's thesis

2015
INRIA Rennes, DiverSE team

Web application design using Java, AngularJS, Spring, MongoDB, and OpenLayers.

Master's thesis

2014
INRIA Rennes, Celtique team

Bytecode verified compilation using Coq, OCaml, and Java bytecode.

Master's internship

2013
INRIA Rennes, Celtique team

Programming an interpreter for an intermediate Java Bytecode representation using Coq, and OCaml.

Experiences

Pre-Doctoral Researcher in the Debug4Science project

March 2020 - Present
INRIA Rennes

Pre-Doctoral Researcher in the LEA project

March 2019 - March 2020
JKU Linz (Linz, Austria)

Pre-Doctoral Researcher in the Tetrabox project

January 2017 - February 2019
TU Wien

R&D Engineer in the DiverSE team

September 2015 - December 2016
INRIA / IRISA Rennes

Development of DSLs, code generators and Eclipse plugins using Java, Xtend, Xtext, and EMF.