Leni Aniva

Faculty & Visiting Speaker, Stanford University

Leni Aniva is a faculty member and visiting speaker at Stanford University, contributing to discussions on quantum electrodynamics.

1standalone talk·1total lecture·1hrecorded

Stanford University Mathematics Computer Systems & Software

Standalone talks by Leni Aniva

Self-contained public lectures, keynote addresses, and research seminars.

QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier Detection

21:06

Mathematics·Conference Talk

QED Lecture 1, Part 7: Summing Probability Amplitudes & Photomultiplier Detection

Leni Aniva·

Stanford University

This presentation introduces Prismriver, a Lean 4 library for formalizing music theory, enabling verifiable algorithmic composition and generalizing beyond equal temperament tuning.

Speakers

Speakers/Leni Aniva

Faculty & Researcher Profile