He has received his doctoral degree in Computer Science in 2010 from the University of Paris Diderot- Paris 7 (France) under the supervision of Prof. Ahmed Bouajjani and Dr. Tayssir Touili. From 2010 to 2012, he was a post-doctoral researcher at Uppsala University (Sweden) where he has worked within the UPMARC project on developing algorithms and tools for the automatic verification of multicore systems. Dr. Mohamed Faouzi's research is focused on developing techniques based on formal methods for the verification of parallel programs running under different memory models. Besides being the principal author of many scientific publications, Mohamed Faouzi has also served as program committee member for several international conferences.