Ananth Venkatesh
Ananth is an undergraduate majoring in Mathematics with Computer Science. Ananth’s research interests include reproducible systems, formal verification, and applications of the higher structures point of view. His work in the Zardini Lab will focus on incorporating probability distributions to compositionally model uncertainty in complex systems. In his free time, Ananth enjoys hacking on free and open-source software and philosophizing about social choice theory, mathematical physics, and linguistics.