Carybe Bégué

English version here.

Je suis diplômé de l'École Normale Supérieure de Rennes dans le département Informatique.

Parcours

Étudiant à l'ENS de Rennes entre 2018 et 2022, je suis titulaire d'une licence de Mathématiques (mention Bien) obenue en 2020 et d'un master de recherche en Informatique (mention Assez Bien) obtenu en 2022.

Téléchargez mon CV ici

• 2018-2022, Magistère d'Informatique J'ai obtenu un Magistère en Informatique de l'ENS de Rennes et de l'Université de Rennes 1 option Assez Bien
• 2019-2022, Master de recherche en Informatique (Master SIF) ENS Rennes-Université de Rennes 1, Mention Assez Bien
  Model Checking, théorie de la compléxité, Machine Learning, Traitement du signal, Sémantique, Théorie de l'information, Épistémologie, Computer Vision, Securité, Image
• 2018-2019, Licence recherche d'Informatique ENS Rennes-Université de Rennes 1, Mention Assez Bien
  Algorithmie, Programmation, Architecture et Sytème, Théorie des langages et calculabilité, Logique
• 2018-2020, Licence recherche de Mathématiques Université de Rennes 1, Mention Bien
  Intégration de Lesbesgue, Théorie des groupes, Topologie, Probabilité, Espace vectoriel et calcul differentiel, Fonctions holomorphes
• 2016-2018, CPGE, MPSI option informatique - MP* option informatique Lycée Montaigne, Bordeaux, Mention Très Bien
  Mathématiques, Physiques, Informatique
• 2016, Baccalauréat S-SVT Lycée Saint John Perse, Pau, mention Très Bien et Européenne Espagnol
  

Projets réalisés

Voici quelques travaux que j'ai pu réaliser dans le cadre de mes études à l'ENS.

• Été 2022 (M2) : Implémentation de la méthode QSS et application aux systèmes hybrides
  En M2, j'ai réalisé un stage de 20 semaines sur la méthode de simulation QSS (programmation en Zélus et OCaml) (Disponible ici)

• Été 2021 (M1) : Implementation en Sage d'algorithmes de checking d'ensembles positivement invariants
  En M1, j'ai réalisé un stage de 9 semaines à l'INRIA (Rennes) sur les ensembles positivement invariants (programmation en Sage) (Disponible ici)

• 2020-2021 (M1) : Étude et implémentation d'un solution de l'équation de Vlasov
  En M1, j'ai réalisé un projet de recherche en mathématiques appliquées à l'INRIA (Rennes) sur la modélisation de plasma (programmation en Julia) (Disponible ici)

• 2019-2020 (M1) : Weight Adjacency Problem, un problème optimisation sur des graphes
  En M1, j'ai réalisé un projet de recherche à l'INRIA (Rennes) portant sur l'optimisation de graphes (programmation en OCaml) (Disponible ici)

• Été 2019 (L3) : Optimisation cyclique sous contraintes énergétiques
  En L3, j'ai réalisé un stage au LAAS (Toulouse) sur un problème NP-complet non étudié alors : l'ordonnacement cyclique sous contraintes énergétiques (programmation en Python) (Disponible ici)