Étudiant en Master 1 informatique (ingénierie logiciel) à l’université de Rennes 1 à la recherche d'un stage.
Mon intérêt porte sur le développement informatique.
Compétences informatiques :
- POO : Java, Scala, C++, Python,VBA
- Web : HTML5, PHP, JavaScript, jQuery,CSS3
- BDD : MySQL
-Programme assistant de preuve : Isabelle HOL,Why3
-model checking tool :NuSMV.
- Autres : C, Racket.
Mes compétences :
MySQL
Adobe Photoshop
Isabelle/HOL
JavaScript
DrRacket
Python
Visual Basic for Applications
NuSMV
JQuery
Scala
CSS
Why3
HTML
C++
PHP
Java
C
C Programming Language
Cascading Style Sheets
Python Programming
Pas de contact professionnel