Mes Compétences

Voici un aperçu de mes compétences techniques, organisées par catégorie.

Langages de programmation

  • Python
  • C/C++
  • Java
  • SQL/PL-SQL

Intelligence Artificielle & Apprentissage Automatique

  • TensorFlow
  • Keras
  • PyTorch
  • Scikit-learn
  • NLP
  • Réseaux de neurones

Bases de données

  • PostgreSQL
  • MongoDB
  • Neo4j
  • MySQL
  • CouchDB

Vérification et sûreté logicielle

  • Vérification automatique (Model Checking)
  • Preuve de programmation
  • Gestion et tests

Outils et Technologies

  • Git
  • Hadoop
  • Apache Jena
  • Spark
  • Visual Studio Code
  • LabVIEW