Rachid Rebiha

Possue dois títulos de graduação: um em Matemática Pura pela Universidade de Orléans, com um programa Erasmus no Imperial Royal College School of London UK (2000) e um segundo título de graduação em Ciências da Computação Aplicadas pela Universidade de Orléans (2001). Também possue um mestrado M-1 (Maitrise) em Ciências da Computação Aplicadas pela Universidade de Orléans, e um outro mestrado M-2 (DEA) em Teoria da Computação pela Universidade de Orléans (LIFO - Laboratório de Teoria da Computação) e a Universidade de Paris 6 (lip6 - Laboratório de Informática de Paris 6) concluído em 2003. Em 2003 e 2004, trabalhou como pesquisador - em tempo integral - na Electricité de France Recherche et Développement, do Ministério da Energia, Pesquisa e Indústria Francesa. Durante esse periodo esteve envolvido com formação pela pesquisa: " Industrial Cifre Doctoral Dissertation at EDF R&D and the Ecole Normale Superieure of Paris". Possue vários tìtulos académicos de doutor. Têm um título de Doutor Ph.D. em Ciências da Computação pela Faculdade de Informática da Universidade de Lugano Suíça (também em co-tutela com o Stanford Research Institute, Califórnia), com a tese defendida em Janeira de 2011. Em 2006 e 2007, e também era pesquisador em "Stanford Research International". Têm um outro título de Doutor Ph.D. em Ciências da Computação pelo Instituto de Computação da UNICAMP - Universidade de Campinas SP Brasil (joint doctoral school with USI Lugano), com a tese defendida em agosto de 2011. Encontra-se concluindo pós-doutorado no Instituto de Computação da UNICAMP com a FAPESP. Mais recentemente, também esta envolvido em um projeto FAPESP-BEPE onde é professor visitante em um projeto entre o Instituto de Computação da Unicamp Universidade Estadual de Campinas Brasil e o "Laboratoire de Mathématiques Appliquées" da Universidade de Poitiers, França. Teve oportunidade de administrar alguns cursos no Insitute da computação UNICAMP e na Universidade de Lugano. As atividades de pesquisa são em Teoria da Computação, Métodos Formais, Matématica Discrete, Análise Estática e Verificação de Programa, Segurança, Sistemas Distribuídos, Engenharia de Software.... (Fonte: Currículo Lattes)