Research and Development Scientist, building the core of Planting Space
I focus on applied category theory, functional programming, symbolics, and the theory and design of programming languages.
I manage two record labels through which I release my music:
Experience
R&D Scientist
· RemotePlanting Space
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.
Product Development Consultant
· Bologna, ItalyPlasive Technologies
Provided a complete consultancy from the design to the deployment of a web radio streaming application implemented in Go and Vue.js.
Google Summer of Code Intern
· RemoteJulia Symbolics
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.
Computer Science Student
· Pisa, ItalyUniversity of Pisa
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
Full Stack Development Intern
· Pisa, Italy3Logic
High school sponsored internship, focused on the development of full stack backoffice applications in Node.js and React.
Computer Vision Intern
· Belfast, UKKnight Systems
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, and a mobile application in React Native
Publications
2022
Gowda, Shashi, Yingbo Ma, Alessandro Cheli, Maja Gwóźzdź, Viral B. Shah, Alan Edelman, and Christopher Rackauckas. “ High-performance symbolic-numerics via multiple dispatch ” ACM Communications in Computer Algebra 55, no. 3 (2022): 92-96.
Iravanian, Shahriar, Carl Julius Martensen, Alessandro Cheli, Shashi Gowda, Anand Jain, Yingbo Ma, and Chris Rackauckas. “ Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression ” ACM Communications in Computer Algebra 56, no. 2 (2022): 84-87.
2021
Cheli, Alessandro. “ Automated Code Optimization with E-Graphs - Bachelor Thesis in Computer Science, University of Pisa” arXiv preprint arXiv:2112.14714 (2021).
Cheli, Alessandro. “ Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation ” Journal of Open Source Software 6, no. 59 (2021): 3078.
Music
I release music under “Contraddizione” .
I collaborate with my friend Michele Mucci , professional mastering and sound engineer.
You can listen to our music projects on
Linea Records and Music is Logic is Geometry .
···
Published Albums
2023
Contraddizione - Punto - Spotify
Slow, ethereal soundscapes, hyperactive and deconstructed IDM compositions.
···
Live Shows
2023
March 2023 - Eki Magazine Issue Launch 03 - Artiglieria , Firenze
Hybrid live coding session with audio-reactive light installations by Monogrid .
2022
August 2022 - Linea Records Showcase - Bridge48 Studios , Barcelona
Label showcase with a visual and live painting installation “Nucleosynthesis” by Denny Baco .
Contact
You can send me an email at the following address
alessandro -at- cheli.dev
or you can find me on Github @0x0f0f0f .