Pablo Soares
Co-founder Researcher at Universidade Federal do Ceará
Ceará, Brazil
Summary
👤
Senior🎓
Top SchoolPablo Soares is a researcher and co-founder with nine years of experience bridging academic research and applied R&D, serving as an adjunct professor at Universidade Federal do Ceará and chief scientist at NEMO. He holds a PhD in Computer Science with a focus on combinatorial optimization and leads projects applying metaheuristics, graph algorithms and machine learning to real-world problems like fraud detection in water utilities and public-sector mobile apps. Skilled in C++ and OCaml, he combines formal interests in deductive program verification with practical DevOps and platform development experience from FUNCAP and CAGECE collaborations. Based in Ceará, Brazil, he uniquely blends classroom teaching, grant-driven innovation, and hands-on software engineering to move theoretical methods into operational systems.
9 years of coding experience
2 years of employment as a software developer
Doutorado em Ciência da Computação, Otimização Combinatória, Concluído, Doutorado em Ciência da Computação, Otimização Combinatória, Concluído at Universidade Federal do CearáMestrado em Ciência da Computação, Sistemas Computacionais, Aprovado com Louvor, Mestrado em Ciência da Computação, Sistemas Computacionais, Aprovado com Louvor at Universidade Federal Rural do Semi-Árido - Ufersa
Github Skills (4)
verification9
dafny6
programming-language6
compiler4
Programming languages (2)
Github contributions (2)
UFC-CC-CC/AutoVeitamento
Apr 2020 - May 2022
Aplicativo para Gerenciar e Gerar Relatórios de Aproveitamento de Estudos em Instituições de Ensino
Contributions:4 commits, 3 pushes, 1 branch in 2 years 1 month
estudosensinoriosaplicativo
dafny-lang/dafny
Mar 2017 - Jun 2017
Dafny is a verification-aware programming language
Contributions:3 comments, 4 issues in 2 months
compilerdafnyprogramming-languageverification
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.