Stefano Ariotta, Ph.D.

Links

Welcome!

I'm a software engineer and a mathematician. I work as a Backend Engineer at DeepL.

Previously, I worked at Crytek as a Game Engine Developer, and before that, I was doing research in mathematics.
In March 2022, I obtained my Ph.D. in Mathematics at the University of Münster, and my research focused mostly on Algebraic Topology and Higher Category Theory. You can find my latest coding projects below.

I'm interested in high-performance optimizations, computer graphics, functional programming and low level stuff (I love peeking inside black boxes to understand how they work).

I'm also into music, gaming, cinema and visual arts.

Projects

FSVF

FSVF stands for Fast Small Vectors of Floats, and is (currently only a draft of) a SIMD library for single-precision 3D and 4D linear algebra, heavily optimized for desktop x86_64 CPUs.

Chip8-Core + Chip8-Desktop

An emulator/interpreter for Chip-8, written in Rust. The core library, Chip8-Core, is entirely platform-agnostic, while Chip8-Desktop is a full implementation for Linux and Windows.

rayme

A ray tracing renderer built from scratch in C++, aimed at rendering static glTF 2.0 scenes. The rendering algorithm is based on Monte Carlo path tracing and can currently handle arbitrary triangle meshes and several non-textured physically based reflective materials.

Ultimate tick-Hask-toe

An AI engine for a highly branched variant of tic-tac-toe called "ultimate tic-tac-toe" (Wikipedia page), written in Haskell, with a minimalistic CLI to play against it. The AI is implemented using a reinforcement learning algorithm, Monte Carlo Tree Search (MCTS).

Papers

Deformations of

E_{\infty}

-groups
of units and logarithmic derivatives of

E_{\infty}

-rings

A paper where I extended to the homotopy coherent setting a classical result in commutative algebra and used it to define a homotopy coherent notion of logarithmic derivative.
Preprint (submitted).

Coherent cochain complexes and Beilinson t-structures, with an appendix by Achim Krause

A paper where I analyzed in depth the homotopy coherent analogue of the ordinary notion of (co)chain complex. The main results give comparisons with the notion of filtered objects in the stable case, and a deformation-theoretic characterization (depending on a result of Achim Krause) in terms of vanishing of higher Toda brackets. I also discuss a bunch of nice relations with other homotopy-theoretic objects.
Preprint (submitted).