photo   Oussama Oulkaid
  PhD Student at LIP, VERIMAG and Aniah
  oussama.oulkaid@ens-lyon.fr


About

Since October 2022, I am conducting a PhD thesis at LIP, VERIMAG and Aniah — where I work under the supervision of Matthieu Moy, Pascal Raymond, Mehdi Khosravian and Bruno Ferres on developping formal verification techniques for Electrical Rule Checking (ERC) of integrated circuits.

Publications

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory [pdf]
Design, Automation and Test in Europe Conference & Exhibition (DATE) - Late Breaking Results track. Antwerp, Belgium 2023

Teaching

(TP) Modélisation des Systèmes Numériques - VHDL
Course Responsible: Laurence Pierre
Université Grenoble Alpes. Fall 2023