• Home
  • CV
  • Publications
Loïc Gammaitoni Doctor in Computer Science
  • Skills
  • Formation
  • P.Experience
  • Teaching
  • Misc
  • CV Download

Spoken Languages

  • french (native)
  • italian (basics)
  • chinese (notions)
  • english (fluent)
  • german (basics)
  • luxembourg (notions)

Technical Skills Overview

Programming Languages

Java
Php
Python
C#
C

Modelling Languages

Alloy
UML/OCL
Ecore
Meurise

Formation

  • today

    Phd Degree

    My research interest is at the junction of Formal Verification and Software Language Engineering, more broadly Model Driven Software Engineering . I am currently working on the creation of a Language Workbench called Lightning, which is based on Alloy, with incentives to allow the application of formal verification at the earliest stage of language design.

  • 2013

    Master Degree

    Obtention of a Master degree in Computer Science (academic) with mention at the University of Luxembourg
    Specialities : Software Engineering and Artificial Intelligence

  • 2011

    Bachelor Degree

    Obtention of a Bachelor degree in Computer Science (Professional) with mention at the University of Luxembourg
    Speciality : Distributed System

  • 2008

    Baccalauréat

    Obtention of a Bac S (Scientific baccalaureate) with mention at "Lycée Charlemagne" (Thionville - France)
    Speciality : Physic/Chemistry

Professional Experiences


Intern
2010

research assistant
2011-2013

Doctoral Candidate
2013-2017


Please click on one of the above positions for more details

As part of the IT support department, I:

  • Migrated wiki entries from an old plateform to a newer one. Implemented a VBScript to automate the approach
  • Migrated old .pst mail archive to the newly deployed HELIOS mail server

  • As part of the ​ Security​ ​and​ ​Trust​ ​of​ ​Software​ ​Systems Laboratory, I:
    • Reversed engineered the Jabber protocol by sniffing packet exchanges using​ ​Wireshark​ ​and​ ​by​ carving those using cCarve
    • Produced a​ set of ​Python​ scripts to automatize various components of the approach
  • As part of the ​ Advanced Software System Laboratory, I:
    • Refactored the TIMED-CAA-DRIP tool to enable transaction support
    • Interfaced the TIMED-CAA-DRIP tool to a Berkeley database
  • As part of the ​Robot Laboratory, I:
    • Implemented Python ROS servers with aim of enabling a NAO Robot to:
      1. (1) Detect and track objects
      2. (2) Move towards identified objects
      3. ​(3)​ Pick​ ​up​ ​identified​ ​objects

  • As part of the ​ Advanced Software System Laboratory, I:
    • Advocated the importance of involving customers in the validation of system designs
    • Designed visualization based approaches to the validation of models and model transformations
    • Based on previous approach, designed a framework to define seamlessly validable domain specific languages
    • Supervised a team of 3 in the development of the Lightning language workbench, an eclipse plugin implementing the aforementioned framework
    • Supervised two master thesis and one bachelor thesis, all successful (grades ranging from 14 to 18)
    • Used my approach to validate the specifications of a Robotic language (RPSL)
    • Defended my ideas in top-conferences
    • Initiated and organized 4 years in a row the LASSY ping-pong tournament

Teaching

(note: you can pass your cursor over acronyms to find out what they stand for)
  • Nov 2014-2017

    Given:Yearly, 2 Lectures and a graded project in the course of MDSD
    Level: 3rd semester of MICS

    Part 1

    Part 2

  • 2014-2016

    Given : Every other semesters, a weekly Java lab sessions (2h30) and two exams for the OOP lecture
    Level: 2nd semester of BASI

Misc

I was an apps for good educator in 2015, affiliated to the european school of Luxembourg. As such, I accompanied several groups of students in the creation of their dream mobile apps.
I'm a town advisor of Redange's town council since March 2012.