Yahia Bahloul

À propos

Doctorant en première année en informatique à l'Université Paris-Est Créteil, sous la supervision de Nihal Pekergin, Adrien Le Coënt et Benoît Barbot. Mes recherches portent sur les systèmes dynamiques, le contrôle formel et l'apprentissage automatique.

Formation

• Doctorat en Informatique — UPEC (2025–présent)
• Double Master Mathématiques & Informatique — Université Paris-Cité (2023–2025)
  
• Double Licence Mathématiques-Informatique — UPEC (2020–2023)
  Classé 5/40 en Maths · 17/102 en Informatique

Recherche & Publications

• Article de conférence Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations , ValueTools 2025 — Y. Bahloul, A. Le Coënt, B. Barbot, N. Pekergin — HAL

Expérience

Stage de recherche — UPEC (Avril–août 2025)

• Synthèse de contrôleur garanti pour les systèmes d’équations différentielles ordinaires linéaires

Stage de recherche — UPEC (mai–août 2023)

• Réécriture en Python d'un prototype Octave pour l'estimation bayésienne de paramètres d'équations différentielles.
• Tests et validation sur des systèmes d'équations différentielles.

Enseignement

• Chargé de TD — Conception de Bases de Données (L3) (UPEC)
• Chargé de TD — Codage, Compression & Cryptographie (L2) (UPEC)

Compétences

Langages : Python, Java, C, C++, R, Spark

Bases de données : SQL, PostgreSQL, SPARQL, Neo4j, Cassandra

Langues : Français (natif), Anglais (B2), Espagnol & Italien (A2)