Update lesbre.md

people/lesbre.md

@@ -3,7 +3,7 @@ layout: person # Do not modify
 title: "Dorian Lesbre"  # Your full name
 picture: "lesbre" # The name of your picture file without the .jpg extension
 position: "PhD Student" # Your position, i.e. either "Intern", "PhD Student", "Postdoc" or "Tenured Researcher"
-topic: "Verifying non-interference properties in OS kernel's via abstract interpretation" # For interns, PhD students and postdocs, briefly describe your research topic (tenured researchers should remove this line)
+topic: "Verifying programs by abstract interpretation based on an SSA translation" # For interns, PhD students and postdocs, briefly describe your research topic (tenured researchers should remove this line)
 mail: "dorian.lesbre" # The first part of yor @cea.fr address
 website: "https://www.normalesup.org/~dlesbre/" # The URL of your personal website if you have one, otherwise remove the line
 linkedin: "https://www.linkedin.com/in/dorian-lesbre-78a002122" # The URL of your Linkedin page if you have one, otherwise remove the line