André Videla
Director at Glasgow Lab For AI Verification
Stony Stratford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAndré Videla is a director and researcher with nine years of software engineering experience who now leads work at the Glasgow Lab for AI Verification, applying theorem provers and advanced type systems to build next-generation software. He specializes in dependently typed languages such as Idris and Agda, and brings a practical bent—translating formal methods into concrete, deployable systems informed by prior industry roles in iOS and backend engineering. His background spans academia (PhD research at University of Strathclyde and a Master by Research from St Andrews) and product-focused engineering at startups like Statebox and Bity, where rapid iteration and customer feedback guided development. Comfortable across Swift, Scala and Haskell, he combines rigorous formal reasoning with pragmatic architecture and CI/testing experience from high-assurance application work. An unusual strength is his ability to move from low-level formal proofs to shipping user-facing software, bridging theory and production.
8 years of coding experience
7 years of employment as a software developer
Master by research - Msc(Res), Computer Science, Master by research - Msc(Res), Computer Science at University of St AndrewsLicence en informatique, Computer Science, Licence en informatique, Computer Science at CTU - Centre de Télé-enseignement Universitaire de BesançonComputer Science, Computer Science at EPFL
English, French, Spanish, Japanese
Github Skills (181)
evaluator10
category-theory10
dependent-types10
ssreflect10
purescript10
language-agnostic10
idris10
compiler10
type-theory10
plutus10
relational-algebra10
logic10
jvm-bytecode10
stack-based10
serialization10
Programming languages (18)
Github contributions (5)
andrevidela/dotfiles
Apr 2018 - Dec 2024
Contributions:11 pushes, 1 branch in 6 years 9 months
andrevidela/Research-report
Oct 2019 - May 2021
Contributions:218 commits, 206 pushes, 1 branch in 1 year 8 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.