Oussama Oulkaid
  PhD Student, InfoMaths
  oussama.oulkaid@ens-lyon.fr
  Grenoble, France

[About] [Publications] [Teaching]
   ^
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  developing  formal  verification  techniques  for  Electrical Rule Checking (ERC)  of
integrated circuits.