Florent Krasnopol
Stagiaire en recherche at Max Planck Institute for Informatics- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
Topline Score
Bio
Experience
-
Max Planck Institute for Informatics
-
Germany
-
Research Services
-
100 - 200 Employee
-
Stagiaire en recherche
-
Mar 2023 - Present
Supervisé par Christoph Weidenbach. Team : Automation of Logic Supervisé par Christoph Weidenbach. Team : Automation of Logic
-
-
-
Loria
-
France
-
Research Services
-
1 - 100 Employee
-
Stagiaire en recherche et développement
-
Jun 2022 - Jul 2022
Durant ce stage de recherche de six semaines, il m'a été proposé de m'intéresser à l'évolution d'une définition de relation de conséquence proposée par Gabriel Ebner, Jasmin Blanchette, et Sophie Tourret. Mon travail a fourni à Sophie Tourret la remise à jour de la formalisation en Isabelle/HOL de cette définition et de ses conséquences. Isabelle/HOL est un assistant de preuve en logique classique. Durant ce stage de recherche de six semaines, il m'a été proposé de m'intéresser à l'évolution d'une définition de relation de conséquence proposée par Gabriel Ebner, Jasmin Blanchette, et Sophie Tourret. Mon travail a fourni à Sophie Tourret la remise à jour de la formalisation en Isabelle/HOL de cette définition et de ses conséquences. Isabelle/HOL est un assistant de preuve en logique classique.
-
-
Education
-
2021 - 2025
École normale supérieure Paris-Saclay
Diplôme de l’ENS - Informatique -
2018 - 2021
Lycée Saint Louis
Classe préparatoire aux grandes écoles, Mathématiques et informatique
Community
