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

From LRDE

(Created page with "{{News |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-m...")
 
 
(4 intermediate revisions by the same user not shown)
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.     Holding 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 Florian 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
 
}}
 
}}

Latest revision as of 15:50, 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