Oussama Oulkaid PhD Student, InfoMaths [About] [Publications] [Teaching] [Contact] ^ 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.