Alessandro Cheli
- Research and Development Engineer, building the core of PlantingSpace. Find me in 680Hz Studios in Berlin and my music on Music is Logic is Geometry
About
My academic areas of focus are applied category theory, functional programming, symbolics, and the theory and design of programming languages. I maintain different open source projects, mostly related to metaprogramming, rewriting systems and theory of programming languages, such as Metatheory.jl. While I mostly work in the Julia programming language at PlantingSpace, I am also very comfortable around modern Typescript and most other functional languages. I also focus on experimental electronic music, releasing my music under the name “Contraddizione” on Music is Logic is Geometry. I’m interested in digital sound design, analog synthesizers and machines that make sound. You can find me in 680Hz Studios in Berlin.
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.
Masterclasses in Berlin
Nowadays, we are all spending a lot of time in front ouf our laptops and smartphones.
To learn something new, the last thing you need is more screen time, watching video courses that leave you with even more screen fatigue.
Our courses
At 680Hz Studios we are offering in-depth, expert-led professional courses, that take place in person in Berlin. We want offer a refreshing alternative, where you can dive into hands-on learning with expert instructors who guide you in every step. The courses usually last from one to three weeks, and both the frequency, duration and content of the courses are fully personalized and tailored to your needs, availability and existing skill set: most courses available online are too focused on the basics. We identify your strength points and your current bottlenecks, and start from there instead.
- • Introduction to Computational Thinking & Programming with Julia or Python.
- • Modern Web Development with Node.js, Typescript, React, Astro, Tailwind CSS, Shadcn UI.
- • Creative Music Production: synthesizers, sound design, arrangement, music software.
- • Audio Engineering, Mixing and Mastering and music post-production, also for the film and advertisement industry.
The full list of topics and courses is available on 680.studio/masterclasses. For a personalized quote, you can send me an e-mail directly, or get in touch with 680.studio.
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
Albums
Contraddizione - Punto - February 2023
Slow, ethereal soundscapes, hyperactive and deconstructed IDM compositions.
Live Shows & Gigs
- March 2023 -
Eki Magazine Issue Launch 03 Artiglieria, Firenze
Hybrid live coding session with audio-reactive light installations by Monogrid.
- August 2022 -
Linea Records Showcase Bridge48 Studios, Barcelona
Label showcase with a visual and live painting installation “Nucleosynthesis” by Denny Baco.
Experience
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