Rodrigo Tacla Saad

Engenheiro Doutor em Computação de Alto Desempenho e Sistemas Confiáveis com experiência gerencial no desenvolvimento de produtos inovadores. Possui cinco anos de experiência na execução de projetos que exigem altos investimentos em pesquisa e desenvolvimento. Qualificação técnica sólida em arquitetura de software e sistemas de alta demanda. Oito anos de experiência em computação paralela, seis anos de experiência na área de Verificação Formal (Verificação & Validação de Requisitos), mais especificamente, na área de Model Checking. Especialista com experiência prática na aplicação de metologias de verificação para a indústria crítica, mais especificamente, a aplicação de Model Checking e Automação de Testes para a indústria de Petróleo e Gás.

PhD Engineer in High Performance Computing and System Dependability with full professional fluency in Portuguese, French and English. Passionate about technology and development of new tools. Strong knowledge on algorithms and data structures for parallel and distributed computing. Have 3 years experience in parallel computing and 5 years experience on the domain of Formal Verification, more specifically, the Model Checking domain. Specialist on the complete formal verification chain, formal specification with high level languages, translation to mathematical formalisms and advanced knowledge on model checking algorithms.