Valentin Barbazo

Ph.D. student in Computer Science

About Me

I am a PhD student under the supervision of Xavier Rival, currently working at École Normale Supérieure as a member of the ANTIQUE research team. My research focuses on applying Abstract Interpretation to the static analysis of concurrent programs sharing complex heap data-structures.

In addition to program verification I am also interested in computer architecture, operating systems, and networks, and particularly in the security challenges related to their design and operation.

Before starting my doctoral studies, I graduated from École Polytechnique where I obtained a Master’s Degree in Engineering, and Imperial College London where I obtained a Master of Science in Advanced Computing. For further details, see the Resume section below, or look at my full CV available here.

My Resume

  • Education

  • school

    Ph.D. Studies

    ENS - PSL 2023 — Present

    Shape analysis via abstract interpretation for shared memory concurrent programs.

  • school

    Master of Science — Advanced Computing

    Imperial College London 2022 — 2023

    Obtained with Distinction.

    Courses:

    • Software Reliability
    • Program Analysis
    • Advanced Computer Architecture
    • Advanced Computer Security
    • Network and Web Security
    • Privacy Engineering
    • Scheduling and Resource Allocation
    • Cryptography Engineering
    • Scalable Systems and Data
  • school

    Master's Degree in Engineering

    Ecole Polytechnique 2019 — 2022

    Overall GPA: 3.72/4.

    Most relevant courses:

    • Computer Science:
      • Safe Intelligent Systems
      • Information Systems Security
      • Advanced Cryptology
      • Fundamentals of Modern Computer Networking
      • Computer Architecture and Operating Systems
      • Fundamentals of Computer Science: Logic, Models, Calculability
      • Design and Analysis of Algorithms
    • Maths:
      • Statistics
      • Functional Analysis
      • Markov Chains and Martingales
      • Introduction to Variational Methods

  • Work Experience

  • business_center

    Master Thesis — Formal analysis of the security properties of cloud FPGA

    Imperial College London Apr. 2023 — Sep. 2023

    Definition and implementation of a static information flow analysis for hardware designs, enforcing non-interference among data from multiple users who access the same circuit one after the other.

    Distinguished Project award.

  • business_center

    Research Internship — DNS acceleration using eBPF

    Orange Labs Mar. 2022 — Aug. 2022

    Implementation of an eBPF in-kernel caching DNS resolver able to handle DNS requests directly at the NIC level, before the execution of the network stack.

    Distinguished Research Internship award.

  • business_center

    Summer Internship

    Algonomia Jun. 2021 — Aug. 2021

    Design of scripts and a web interface to automate the configuration, deployment and administration of a containerised application.