Paul Regnier é doutor em Ciências da Computação (UFBa-2012), mestre em Mecatrônica (UFBa-2008), especialista em Sistemas Distribuídos (UFBa-2006) e graduado em Física Teórica (UPS-XI-França-1990). Tem interesse nas áreas de Ciências da Computação e Matemática, atuando principalmente nos seguintes temas: sistemas de tempo real, sistemas operacionais, redes de computadores e especificação formal. Recentemente, tem se dedicado à concepção de algoritmos e de mecanismos para garantia de correção temporal para os sistemas de tempo real