Andrea Vezzosi
Senior Software Engineer at Well-Typed LLP
Gentofte, Capital Region of Denmark, Denmark
Summary
🤩
Rockstar🎓
Top SchoolAndrea Vezzosi is a Senior Software Engineer with 18 years of experience, currently working at Well-Typed LLP from Denmark and combining deep research pedigree (PhD in Computer Science from Chalmers) with hands-on engineering. He has a strong functional-programming focus, contributing to core Haskell tooling such as the official Cabal repository—refactoring build-system internals, improving installation flags, and fixing tricky dependency and documentation-generation bugs. His work on experimental formal tools like Cubical Agda shows he can operate at the intersection of language design, core libraries, and low-level primitives. Formerly a postdoctoral researcher and senior consultant, he brings both academic rigor and pragmatic delivery to complex backend and tooling projects. Colleagues can expect careful architecture, attention to correctness, and a track record of improving foundational developer infrastructure that many projects depend on. An often-overlooked strength is his ability to translate formal-language insights into practical fixes that improve everyday developer workflows.
18 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Università degli Studi di FirenzeDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Chalmers University of Technology
Github Skills (17)
dependency-management10
agda10
lib10
build-system10
cubical-type-theory10
cabal10
haskell10
architecture9
command-line-interface9
command-line9
cli9
architectures9
type-theory9
documentation8
documents8
Programming languages (9)
Github contributions (5)
agda/cubical
Oct 2018 - Jan 2022
An experimental library for Cubical Agda
Role in this project:
Back-end Developer / Software Architect
Back-end Developer / Software ArchitectContributions:1 release, 22 reviews, 109 commits in 3 years 3 months
Contributions summary:Andrea made significant contributions to a library for Cubical Agda, focusing on core features. Their work involved swapping arguments in functions like `Partial`, fixing bugs, and binding missing primitives in the core files. These changes suggest the user worked on improving the fundamental building blocks of the library.
agdacubical-type-theory
haskell/cabal
Mar 2008 - Jan 2010
Official upstream development repository for Cabal and cabal-install
Role in this project:Back-end Developer
Back-end DeveloperContributions:37 commits in 1 year 10 months
Contributions summary:Andrea primarily contributed to the Cabal build system, a core component of the Haskell ecosystem. Their work included refactoring code, implementing new CLI flags for installation processes, and fixing bugs related to file handling and dependency resolution. These changes involved modifying core functionalities, such as source distribution creation, and improving the overall installation process. They also addressed a bug related to haddock generation, ensuring documentation is correctly generated during the build process.
hackagecabalhaskellupstream
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.