Alessandro Cheli
Software Engineer at xyflow · React Flow · Svelte Flow
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolAlessandro Cheli is a software engineer and researcher with 10 years of experience, blending theory and practical systems engineering from compilers to reactive UIs. Based in Berlin, he most recently builds diagramming and flow tools at xyflow while previously driving R&D at PlantingSpace on symbolic AI, applied category theory, and knowledge representation. He has deep roots in programming language theory and category theory, and enjoys bringing those abstractions into robust infrastructure and user-facing products. Alessandro’s work spans core systems, compiler-like transformations, and front-end integrations (React/Svelte), reflecting a full-stack curiosity. He is active in open-source diagram tooling and likes to explore how symbolic approaches can make AI systems more transparent and composable. His background from Università di Pisa underpins a rigorous, research-informed engineering style that favors auditable, theory-driven solutions.
10 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Università di Pisa
Github Skills (200)
symbolic-computing10
compiler-construction10
opam10
combinatorics10
package-repository10
simplification10
julia10
mathematics10
declarative-programming10
automatic-differentiation10
package-manager10
calculus10
programming-language10
differentiation10
metaprogramming10
Programming languages (19)
Github contributions (5)
0x0f0f0f/gobba
Dec 2019 - Nov 2020
Contributions:24 releases, 260 commits, 206 pushes in 1 year
JuliaSymbolics/Metatheory.jl
Jan 2021 - Oct 2022
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Contributions:1 release, 89 reviews, 346 commits in 1 year 9 months
homotopy-type-theoryjulia-languageautomatic-differentiationsat-solveragda
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.