Difference between revisions of "NewsEntry (2019/10/07)"

From LRDE

Line 1: Line 1:
 
{{News
 
{{News
 
|title=The LRDE hosts two new members, Anissa Kheireddine and Florian Renkin, who join the [[Spot]] team for their PhD studies.
 
|title=The LRDE hosts two new members, Anissa Kheireddine and Florian Renkin, who join the [[Spot]] team for their PhD studies.
|subtitle=After completing the [http://www-master.ufr-info-p6.jussieu.fr/parcours/androide/ ANDROIDE Master program in Computer Science] (Artificial Intelligence, Operational Research, Decision, Interaction, Robotics and Agents) from Sorbonne University, Anissa joins the Verification team at LRDE for her PhD. Her work consists in parallelizing and optimizing Bounded Model Checking for program verification. Florian holds the Master's degree of the [https://formations.univ-paris-diderot.fr/fr/offre-de-formation/master-lmd-XB/sciences-technologies-sante-STS/master-informatique-parcours-master-parisien-de-recherche-en-informatique-JS1KXQFK.html Parisian Master of Research in Computer Science], where he focused on automata theory and algorithmics. He joins the LRDE for his PhD to work on ω-automata and contribute to Spot.
+
|subtitle=After completing the [http://www-master.ufr-info-p6.jussieu.fr/parcours/androide/ ANDROIDE Master program in Computer Science] from Sorbonne University, Anissa joins the Verification team at LRDE for her PhD. Her work consists in parallelizing and optimizing Bounded Model Checking for program verification. Florian holds the Master's degree of the [https://formations.univ-paris-diderot.fr/fr/offre-de-formation/master-lmd-XB/sciences-technologies-sante-STS/master-informatique-parcours-master-parisien-de-recherche-en-informatique-JS1KXQFK.html Parisian Master of Research in Computer Science], where he focused on automata theory and algorithmics. He joins the LRDE for his PhD to work on ω-automata and contribute to Spot.
 
|date=2019/10/07
 
|date=2019/10/07
 
}}
 
}}

Revision as of 14:48, 10 October 2019

Title The LRDE hosts two new members, Anissa Kheireddine and Florian Renkin, who join the Spot team for their PhD studies.
Sub-Title After completing the ANDROIDE Master program in Computer Science from Sorbonne University, Anissa joins the Verification team at LRDE for her PhD. Her work consists in parallelizing and optimizing Bounded Model Checking for program verification. Florian holds the Master's degree of the Parisian Master of Research in Computer Science, where he focused on automata theory and algorithmics. He joins the LRDE for his PhD to work on ω-automata and contribute to Spot.
Date 2019/10/07