Naïm MOUSSAOUI REMIL

Contact: prenom.nom1-nom2@ens-rennes.fr

I am a phd student in computer science working under the supervision of Dr. Caterina Urban at the École Normale Supérieure .

Resume available here: [cv]

Research

Master 2: Internship

Static Analysis by Abstract interpretation for Robust Reachability and Robust Termination

Supervised by Caterina Urban and Antoine Miné

See: repo

Report: Incomming

March-August 2023 at École Normale Supérieure in Paris

Master 1: Internship

Extending the GenMc ModelChecker

Supervised by Viktor Vafeiadis

16th of May 2022 - 31th of July 2022 at Max Plank Institute for Software Systems in Kaiserslautern,Germany

Master 1: Research Project

Unfolding-based dynamic partial order reduction (UDPOR) for LTL Model Checking

Supervised by Thierry Jéron and Martin Quinson I studied UDPOR and adapted it to succeed LTL model cheking. You can find my report (in an article form) here: [report]

September 2021 - May 2022 at Inria Rennes

Resarch Intership

Global Graph Transformation

Supervised by Antoine Spicher, I haved studied a new framework for rewriting system called Global Transformation. I have also developed a web application. This application is a design tool for global graph transformation.

See: slides

See: repo

May 2021 - July 2021 atLACL

Education

Master's degree in computer science

École Normale Supérieure de Rennes

2021-Present

Bachelor's degree in Computer Science

Université Paris Est Créteil

With High Honor

2018 -2021

Bachelor's degree in Mathematics

Université Paris Est Créteil

With High Honor

2018 -2021