Mes compétences directes et principales portent sur la Gouvernance, les Systèmes d'Information, la Gestion de la Connaissance, et l'Intelligence Artificielle.
Le tout étant porté par des compétences en Mathématiques, Métamathématiques, Logique, Épistémologie, Théorie de la Démonstration, et Théories de l'Argumentation.
----
Systèmes d'Information :
- Gouvernance IT (CMMI, ITIL (V2, V3), CobiT, EFQM-EM)
- Méthodes d'Ingénierie Logicielle (UP, UML, MDD/MDA)
- Outils et Ateliers de Génie Logiciel
- Architecture d'Entreprise (Merise, Praxème, TOGAF)
- Architecture Logicielle (Patrons d'Architecture, de Conception, de Processus, SOA-BPM, MDM, etc.)
- Langages de Modélisation (UML, UML2, BPMN, OCL, QVT)
- Approche Référentiel
Gestion de la Connaissance :
- Épistémologies Constructivistes
- Représentation des connaissances
- Linguistique
- Théories de l'Argumentation
Intelligence Artificielle :
- Prolog
- Rationalisation des Connaissances
Démonstration :
- Méthode B
- COQ (Assistant de preuve)
- Logique linéaire
- ...
Spécialisations : Gouvernance IT, CMMI, ITIL, COBIT, MDD/MDA (Model-Driven Development/Architecture), Qualité, EFQM-EM, Ingénierie Logicielle, UML, BPMN, OCL, QVT, UP (Unified Process), Approche Référentiel, Méthodes Formelles, Prouveur, Conseil en Systèmes d'Information, Architecture Logiclelle, Mathématiques, Logique, Méta-Mathématiques, Intelligence Artificielle & Systèmes Experts, Linguistique
