Mes compétences :
Bash
Microsoft SQL Server
SQL Server Integration Services
CSS HTML
PowerShell
Javascript with JQuery
Scripting
Object oriented programming
Entreprises
Centre de recherche en informatique de Lens (laboratoire CNRS)
- Stagiaire
2013 - 2014Stage master recherche (3 jours par semaine)
Netilog
- Consultant informatique
2013 - 2014Envoyé comme consultant chez Bridgestone Europe à Bruxelles
Roquette Freres
- Internship
Lestrem 2013 - 2013
CASL - University College Dublin
- Internship
2012 - 2012Research in Artificial Intelligence: proof of the complexity for the clausal entailment in the Post’s lattice.
- Capacity to solve hard & abstract problems
- Capacity to manage a schedule for a complex project
- Capacity to work in an english context
EPSM Val de Lys - Artois
- Summer job
2011 - 2011Worked in the service quality to register surveys. I took the initiative to develop some VB scripts to accelerate the process and these scripts was still used the following years.
- VB scripting
- Microsoft Office
- listen user problems & find solution by developing scripts
Sujet « Programmation par contraintes et vérification ». Depuis l'heure où les programmes informatiques se sont vus confier la réalisation de tâches de plus en plus complexes et variées, la vérification de leur sûreté est devenue un problème majeur. Cette thèse explore deux modèles de description de programmes. Le premier permet de décrire des systèmes réactifs synchrones tels le langage SCADE (ut
