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...")
(No difference)

Revision as of 15:44, 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 [1] 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 [2] 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