Alessandro Cheli
Categorical MLOps And Research Engineering
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
5 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)
programming-language10
symbolic-computing10
controller10
metaprogramming10
compiler-construction10
symbolic-expressions10
extensible10
optimization10
distro10
javascript10
genetic-algorithm10
symbolic-manipulation10
linux10
deb10
file-extension10
Programming languages (20)
Github contributions (5)
0x0f0f0f/tripbot9000
Jul 2020 - Oct 2021
Procedural generation of geometric patterns and fractals.
Contributions:10 commits, 4 pushes in 1 year 3 months
procedural-generationproceduralartgolanggeometry
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
juliametaprogrammingprogramming-languagesymbolic-computationsymbolic
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.