Sébastien Chédor
Développeur Full Stack
38 ans
Permis de conduire
Rennes (35000) France
En fin de contrat
En recherche active
Développeur Full Stack
Visascol
Juin 2015
à août 2018
- Maintenance du logiciel
- Ajout de fonctionnalités : spécification, développement backend et frontend
- Refactoring de code
Doctorat en informatique
INRIA
Septembre 2009
à janvier 2014
- Modélisation de programmes récursifs
- Analyses de complexité
- Preuve de propriété de sécurité ou de diagnosticabilité
- Génération automatique de scénarios de tests
