HomeProjectsResearchToolsDocumentsPBM Viewero kama pona lon lipu miTyp2HTML

Neven Villani (Vanille)

Sep 2024 —
PhD in Computer Science at Verimag (Grenoble)
Automated Verification of Parameterized Reconfigurable Systems
Sep 2020 — Aug 2024
Student at ENS Paris-Saclay
Dpt of Computer Science
May 2021 — Jun 2021
Internship at LaBRI (Bordeaux)
Properties of Dynamic Unit Disk Graphs
Feb 2022 — Jul 2022
Internship at Aalto Univ. (Finland)
Mending Volume Complexity of Locally Checkable Labelings
Oct 2022 — Jul 2023
Predoctorate at MPI-SWS (Germany)
Tree Borrows, a New Aliasing Model for Rust
Sep 2023 — Feb 2024
Master's degree at Univ. Paris Cité
MPRI2, oriented Verification and Type Systems
Mar 2024 — Jul 2024
Internship at Verimag (Grenoble)
A Counting Abstraction for Parameterized Systems
Sep 2018 — Aug 2020
Classe Préparatoire at Lycée Louis-le-Grand
Filière MPSI puis MP*