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
-
C
ScolaireIntermédiaire
-
Java
Scolaire, enseignantIntermédiaire
-
OCaml
1 Projet, enseignantBon niveau
-
PHP
3 ansBon niveau
-
Javascript
3 ansAvancé
-
HTML/CSS
3 ansBon niveau
-
Lisp/Scheme
Scolaire, enseignantBon niveau
-
PROLOG
ScolaireIntermédiaire
-
Assembleur
ScoalireIntermédiaire
-
Golang
2 projetsBon niveau
-
Python
Scolaire, enseignantIntermédiaire
-
Node Express
Bon niveau
-
Vue.js
Bon niveau
-
Git
Avancé
-
Webpack
Bon niveau
-
Apache2
Bon niveau
Cursus classique d'informatique :
- Algorithmique
- Programmation
- Compilation
- Théorie des langages
- Théorie des graphes
- Système d'exploitation
- Architecture des ordinateurs
- Réseaux
- Sécurité
Sujet de la thèse :
Test, diagnostique et opacité pour des systèmes récursif de tuiles.
Représentation des programmes par des modèles mathématiques afin de donner des preuves de propriétés.
Test, diagnostique et opacité pour des systèmes récursif de tuiles.
Représentation des programmes par des modèles mathématiques afin de donner des preuves de propriétés.
