Cláudio Lourenço
Principal Engineer at Huawei Technologies Research & Development (UK) Ltd
United Kingdom
Summary
👤
Senior🎓
Top SchoolCláudio Lourenço is a Principal Engineer based in the UK with 14 years of experience bridging advanced research and industrial software development. He holds a PhD in Computer Science and brings deep expertise in functional programming, formal methods, programming semantics, and verification, having contributed to tools like the why3 deductive verification platform and designed an OCaml specification language with a parser and type checker. At Huawei R&D he progressed from senior software engineer to principal, applying rigorous formal techniques to real-world systems. His background includes postdoctoral and research roles at Inria and LRI, plus hands-on teaching of functional and imperative programming, which sharpens his ability to communicate complex ideas. Notably, he combines academic rigor with production-focused engineering, making formal methods practical in industry settings.
14 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Universidade do MinhoComputer Science, Computer Science at University of Groningen
English, Portuguese
Github Skills (25)
verification10
specification10
tlaplus9
agda9
ocaml9
coq9
formal-verification9
sat-solver9
smt9
theorem-proving8
why38
modulo8
dependent-types8
spark8
proof-assistant8
Programming languages (3)
Github contributions (5)
haslab/why3do
Apr 2023 - Jun 2024
Contributions:80 pushes, 5 branches in 1 year 2 months
vocal-project/vocal
Nov 2018 - Mar 2020
Contributions:133 commits, 2 PRs, 94 pushes in 1 year 4 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.