João Leal
Lead Engineer at Critical Software
Coimbra, Coimbra, Portugal
Summary
👤
Senior🎓
Top SchoolJoão Leal is a Lead Engineer based in Coimbra, Portugal with 14 years of experience combining Java backend development, technical management, and applied research. He holds a PhD in Nonlinear Model Predictive Control and has a strong history of turning control-theory research into production software—creating NMPC frameworks and industrial process tools earlier in his career. Since 2018 he has progressed from project engineering to leading teams at Critical Software, blending hands-on architecture and delivery with team mentorship. Comfortable in both R&D and industrial software contexts, he brings deep domain knowledge in chemical/process engineering to backend system design and reliable operational software. Despite a research pedigree, he focuses on pragmatic, auditable solutions that bridge complex control algorithms and real-world production systems.
14 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy (PhD), Nonlinear model predictive control, Doctor of Philosophy (PhD), Nonlinear model predictive control at Universidade de Coimbra
Portuguese, English
Github Skills (36)
operator10
mathml10
overloading10
operator-overloading10
differentiation10
automatic-differentiation10
code-generation10
latex10
jit10
scada7
ternary6
numerical-analysis5
eigen5
triangle5
siemens5
Programming languages (4)
Github contributions (5)
joaoleal/CppADCodeGen
Dec 2011 - Aug 2021
Source Code Generation for Automatic Differentiation using Operator Overloading
Contributions:10 releases, 1 review, 705 commits in 9 years 9 months
code-generationalgorithmic-differentationdaeautomatic-differentiationdifferentiation
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.