Rachid Rebiha

I own two Bachelor degrees: one in Pure Mathematics from the University of Orléans with an Erasmus program at Imperial College Royal School of London UK (2000) and an other baschelor degree in Applied Computer Sciences from the University of Orléans (2001). I also own a Masters M-1 (Maitrise) in Applied Computer Sciences from the University of Orléans and an other Masters Degree M-2 (DEA) in Theoretical Computer Sciences from the University of Orléans (LIFO - Laboratory of Theoretical Computer Sciences ) and the University of Paris 6 (LiP6 - Laboratory of Informatics of Paris 6) concluded in 2003. In 2003 and 2004, I worked as a full-time researcher at Electricité de France Recherche et Development, Ministry of Energy, Research and Industry. During this period, I was involved in a training through research: Industrial Cifre Doctoral Dissertation at EDF R&D and the Ecole Normale Superieure of Paris. I own several academic Ph.Ds Degrees. I have a Doctor Ph.D degree in Computer Sciences from the Faculty of Informatics University of Lugano Switzerland (also in co-tutelle with Stanford Research Institute, California) with the Thesis defended in January 2011. In 2006 and 2007, I was also a Stanford Research International Fellow. I have an other Doctor Ph.D. degree in Computer Sciences from the Institute of Computing , UNICAMP - University of Campinas SP Brasil (joint doctoral School with IC/Unicamp) with the Thesis defended in August 2011. I am now completing a Post-Doc at the Institute of Computing UNICAMP with FAPESP. More recently, I am also involved in a FAPESP-BEPE project where I am a visitor professor in a project between IC/Unicamp and LMA University of Poitiers France. I had the opportunity to teach some courses at the Institute of computing UNICAMP and at the University of Lugano. My research activities are in Theoretical Computer Sciences, Formal Methods, Static Analysis and Program Verification, Security, Distributed Systems, Software Engineering, ... . (Source: Lattes Curriculum)