Soutenance de thèse : Amrita Suresh

Amrita Suresh

Amrita Suresh est doctorante au Laboratoire Méthodes Formelles (LMF - ENS Paris Saclay, CNRS). Ses directeurs de thèse sont Alain Finkel et Benedikt Bollig. Elle travaille dans le domaine de la vérification des systèmes distribués - plus spécifiquement sur l'analyse des systèmes asynchrones avec des buffers non bornés.

Parmi les sujets sur lesquels elle a travaillé par le passé, citons les systèmes FIFO limités en entrée, les notions de synchronisabilité (à l'aide d'une approche de type Message Sequence Chart), et plus récemment, la limitation de l'inversion et les extensions des systèmes de transition bien structurés. Elle s'intéresse également à tout ce qui a trait à la vérification des systèmes à états infinis, et à leur caractérisation à l'aide de logiques et d'automates.

Venir à l'ENS Paris-Saclay

4 avenue des Sciences
91190 Gif-sur-Yvette
Voir le plan.

Crédits photo : Jérôme Foubert