Alessandro Cheli
- Currently hacking at xyflow.
- Previously R&D Engineer at PlantingSpace.
- Piloting Music is Logic is Geometry. Find my music there.
About
I come from a background of theory and design of programming languages, applied category theory, functional programming, symbolics, and the theory of computation. I like numerical code too. I worked on different open source and private projects, mostly related to metaprogramming, rewriting systems and PLT, such as Metatheory.jl. During daytime I work at xyflow. Currently studying meta-learning and continual learning systems and applications to nonlinear dynamics. In the past I worked at PlantingSpace setting up the early stages of the company, and applied category theory to representations of reasoning and computation. reasoning. While I like research projects, I have experience with the Julia, Python, TypeScript/React/Svelte, Rust, and OCaml programming language ecosystems. Other languages are friends too.
I make music sometimes on MILIG. I’m interested in DSP too.
Get in Touch
You can send me an email at the following address alessandro -at- cheli.dev or you can find me on Github @0x0f0f0f.
Publications
- 2024 - Performant Dynamically Typed E-Graphs in Pure Julia
Cheli, Alessandro; Heim, Niklas; arXiv preprint arXiv:2404.08751Presented at PLDI24, E-Graphs Workshop! - 2022 - High-performance symbolic-numerics via multiple dispatch
Gowda, Shashi; Ma, Yingbo; Cheli, Alessandro; Gwóźzdź, Maja; Shah, Viral B; Edelman, Alan; Rackauckas, Christopher; ACM Communications in Computer Algebra - 2022 - Symbolic-numeric integration of univariate expressions based on sparse regression
Iravanian, Shahriar; Martensen, Carl Julius; Cheli, Alessandro; Gowda, Shashi; Jain, Anand; Ma, Yingbo; Rackauckas, Chris; ACM Communications in Computer Algebra - 2021 - Metatheory. jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Cheli, Alessandro; arXiv preprint arXiv:2102.07888 - 2021 - Automated Code Optimization with E-Graphs
Cheli, Alessandro; Rackauckas, Christopher; arXiv preprint arXiv:2112.14714
Experience
Software Engineer - xyflow
Berlin
Hacking with the industry standard open-source library for building node-based editors and interactive diagrams, React Flow
R&D Engineer - PlantingSpace
Remote
Research and development in symbolic AI, applied category theory, compilers and programming languages. Building the core infrastracture, working on interdisciplinary problems since the early stages of the company. Contributing to UI and infrastructure. We’re building an AI system which accurately represents knowledge and uncertainty, to enable the discovery of insights and transparent problem solving.
Google Summer of Code Mentor - Julia Symbolics
Remote
During GSoC 2024, I mentored Niklas Heim’s project OptiFloat.jl. Based on my project Metatheory.jl, OptiFloat.jl rewrites floating point expressions to more accurate alternatives. It is a pure Julia implementation of Herbie. To learn more about what OptiFloat does, how to use it, and how it works check out the documentation.
Computer Science Student - University of Pisa
Pisa, Italy
I completed my undergraduate studies in Computer Science at the University of Pisa. My thesis proposes an advanced, generic and high-level code rewriting and analysis system for the Julia programming language, and was supervised by Professors Gian-Luigi Ferrari, Andrea Corradini and Dr. Christopher Rackauckas
Google Summer of Code Intern - Julia Symbolics
Remote
During GSoC 2021, I was awarded a stipend from Google for an experiment involving the integration of Metatheory.jl, my thesis project, with the high performance Computer Algebra System (CAS) Symbolics.jl developed at MIT. The project focused on automatically applying user-defined high-level compiler optimizations, defined via equational rewrite rules, to preemptively choose the symbolic representation of a system of differential equations that performs best when compiled and solved numerically. The projects are still being maintained and there is still room for exploring and researching the topic.
Full Stack Development Intern - 3logic
Pisa, Italy
High school sponsored internship, focused on the development of full stack backoffice applications in Node.js and React.
Computer Vision Intern - Knight Systems
Belfast, UK
Short intership, sponsored by the Erasmus program for high school students. I focused on development of various visual detection systems for embedded computers with OpenCV running on Raspberry Pis, and a mobile application in React Native.
Blog Posts
On Mind, Language and Machines.
2020-02-05 - What makes us different from other animals, such as intelligent mammals that are so genotypically and biologically close to us?
Read More