NewsEntry (2019/10/07)

From LRDE

Revision as of 14:48, 10 October 2019 by Daniela Becker (talk | contribs)
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. 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