Profil du prestataire valleethierry
Informations générales sur le prestataire valleethierry
Type de structure : non spécifié/autre
Date inscription : 08/09/2014
Dernière fois en ligne : 30/08/2017
Classement : classé 25 187ème sur 95 261 prestataires classés
Tags compétences
ALGORITHMIQUE PROGRAMMATION MATHEMATIQUES LOGIQUE SQL VISUAL BASIC STATISTIQUES LIST UNIX ORACLEProfil détaillé du prestataire valleethierry
Domaines de compétence
Informatique· Programmation : Lisp, Prolog, C++, Visual Basic, SQL, Shell; · Administration : rudiments en administration Unix et Oracle ; · Systèmes d’exploitation : Windows, Unix ; · Bureautique : Microsoft Office ; Informatique théorique :· Complexité algorithmique ; · Sémantique des langages de programmation ; · Calculabilité, automate et langage ; · Lambda-calcul.
|
| Mathématiques et Statistiques· Statistiques : statistiques descriptives, corrélation, échantillonnage, t-test, z-test ; · Logique mathématique : théorie des ensembles, théorie de la démonstration, logique; · Théorie des graphes : algorithmes, produit cartésien, hamiltonicité, hypergraphes, recouvrements par cliques. Langues :· Anglais parlé, lu et écrit couramment
|
Expérience professionnelle
RechercheDepuis 2006 : recherche dans le domaine de la théorie des graphes.
Mai 2003- Avril 2007: « Postdoctorant », Centre for Efficiency Oriented Languages, Dept. of Computer Science, University College Cork, Irlande.
Domaine de recherche: algorithmique, complexité algorithmique, sémantique de langage de programmation, théorie des ordres.Août 2002-Avril 2003 : « Postdoctorant », Dept. de Mathématiques et Informatique, Université de Udine, 33100 Udine, Italie.
Domaine de Recherche : fondements des mathématiques.
Enseignement
Juin 2011- Décembre 2011 : Consultant, conception de cours en informatique, mathématiques, méthodologie et français, Conseil et Formation Amiante, 13 Rue Raoul Servant, 69007 Lyon.
Août 2007- Juillet 2008: « Assistant Professor » en Mathématiques et Statistiques, Dept. of Mathematical Sciences, Georgia Southern University, 30458 Statesboro, Georgia, USA.
Enseignements: statistiques, « college algebra ».Septembre 1997- Août 1999 : ATER en Informatique et Mathématiques, IUT de Clermont 1, Dept. GEA, Université d'Auvergne-Clermont 1, 63000 Clermont-Ferrand, France.
Enseignements: programmation (Visual Basic, SQL), bureautique, statistiques, algèbre, analyse.Octobre 1985- Août 1990 : Surveillant en lycée et collège.
Etudes
Admissible au Capes externe de Mathématiques 2014.
Doctorat en Logique Mathématique et Fondement de l'Informatique, Dept. de Mathématiques, Université Paris VII, Décembre 2001.
Stage de formation "Analyste Unix, Bases de Données et Réseaux", Groupe IGS (IBIA-Paris), Avril 97- Sept. 97.
DEA en Logique Mathématique et Fondements de l'Informatique, Dept. de Mathématiques, Université Paris VII, 1995.
Maitrise de Logique, Dept. de Philosophie, Université Paris I, 1994.
Licence de Philosophie, Dept. de Philosophie, Université Paris I, 1992.
Examen Spécial d’Entrée en Université, Université Lyon III, 1985.
