Please click on one of the above positions for more details
|
|
Java |
|
Php |
|
Python |
|
C# |
|
C |
|
Alloy |
|
UML/OCL |
|
Ecore |
|
Meurise |
|
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.
Obtention of a Master degree in Computer Science (academic) with mention at the University of Luxembourg
Specialities : Software Engineering and Artificial Intelligence
Obtention of a Bachelor degree in Computer Science (Professional) with mention at the University of Luxembourg
Speciality : Distributed System
Obtention of a Bac S (Scientific baccalaureate) with mention at "Lycée Charlemagne" (Thionville - France)
Speciality : Physic/Chemistry
Please click on one of the above positions for more details
As part of the IT support department, I:
Given:Yearly, 2 Lectures and a graded project in the course of MDSD
Level: 3rd semester of MICS
Given : Every other semesters, a weekly Java lab sessions (2h30) and two exams for the OOP lecture
Level: 2nd semester of BASI