Dalay Almeida
Research Engineer at CLEARSY
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France
Summary
👤
Senior🎓
Top SchoolDalay Almeida is a Research Engineer based in Aix-en-Provence with 12 years of experience specializing in the specification, development and formal verification of safety-critical systems for railways. With a PhD in Computer Science and Automation from Centrale Lille and advanced studies in Brazil and Hungary, he combines academic rigor with hands-on design and testing of CBTC and other signalling systems. At Clearsy he leads technical projects, applies the B method for provable system development, and collaborates on industrial and international research initiatives. He also teaches and presents on formal methods at universities and conferences, bridging theory and industry practice. Notably, his background includes concurrent systems verification and practical experience delivering provably safe implementations in operational railway projects.
12 years of coding experience
1 year of employment as a software developer
BSc, Software Engineering, BSc, Software Engineering at Budapest University of Technology and EconomicsFederal University of Rio Grande do NortePhD, Computer Science and Automation, PhD, Computer Science and Automation at Centrale Lille
English, Portuguese, French
Stackoverflow
1reputation
0reached
0answers
0questions
Programming languages (1)
Github contributions (5)
dalayalmeida/projetoDosProjetos
Oct 2019 - Oct 2019
Contributions:2 pushes, 1 branch in 8 days
andrezap/Bank
Mar 2015 - Jun 2015
Contributions:24 pushes, 3 tags, 3 comments in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.