Ephemaral

Verify the code you generate. Mathematically proven. Automatically.

Wristband Gaussian Loss: From $O(N^2)$ to $O(N)$

Faster computation of the repulsion term with spherical harmonics.

Wristband Gaussian Loss: Formalization and Proof

Formalization and proof that a Gaussian regularizer is correct.

PM at a Language EdTech

What two years at a sinking EdTech ship taught me about product, pushback, and decline.

daseinn.com

Synthetic users that simulate your product funnels.

Digital Biopharma

ML and AI for biopharmaceutical industrial processes.

Airport Baggage Simulation

Modeling and simulation of baggage handling systems at international airports.

Viability Kernels for Linear Systems

Work from my MSc Thesis published at ECE 2019.

Viability Kernels for Non-Linear Systems

Work from my MSc Thesis published at ICINCO 2018.