Dalay Israel de Almeida Pereira

Doctor in Automation and Computer Science by the École Centrale de Lille, France. He has a master degree in Systems and Computing, and a bachelor degree in Software Engineering by the Universidade Federal do Rio Grande do Norte (UFRN - Brazil). He has studied one year of Software Engineering at the BME (Budapest University of Technology and Economics) in Budapest - Hungary by the CAPES Science without Borders scholarship program. Currently he works with researches related to the component-based development as well as the formal specification and development of critical systems, with a focus on railway systems.

Doutor em Automação e Ciência da Computação pela École Centrale de Lille, França. Mestre em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (UFRN) e bacharel em Engenharia de Software pela mesma instituição. Passou um ano na Hungria (2014), estudando na BME (Budapest University of Technology and Economics) em Budapeste por uma bolsa de estudos da CAPES programa Ciência sem Fronteiras. Trabalha com pesquisas relacionadas ao desenvolvimento baseado em componentes além da especificação e desenvolvimento formal de sistemas críticos, com foco em sistemas ferroviários.