• (PHD) Pattern Matching with Time: Theory and Applications. Universite Grenoble-Alpes. 2018.

• (MSc) Assertion Based Verification of Analog and Mixed Signal Designs using Simulations. Bogazici University. 2013.