Alessandro Cheli

Alessandro Cheli

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.

Contact

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

See my Google Scholar profile.
  • 2024 - Performant Dynamically Typed E-Graphs in Pure Julia
    Cheli, Alessandro; Heim, Niklas; arXiv preprint arXiv:2404.08751
    Presented 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

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.

    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