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. 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] (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. |
||
|date=2019/10/07 |
|date=2019/10/07 |
Revision as of 15:46, 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 (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 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. |
Date | 2019/10/07 |