Sagar Malhotra

He said, “Leibniz was wrong. It’s obvious, everything that happens affects everything else. This is part of science.” And he said, “Furthermore, Leibniz was wrong about everything.” Then he paused and said, “But it’s just as hard to be wrong about everything as to be right about everything.”
— Journey to the Edge of Reason

My research sits at the intersection of machine learning, logic, and probability. I study the efficiency and expressivity of ML algorithms, develop methods to verify their behavior, and derive explanations with formal guarantees—aiming for systems that are accurate, efficient, and provably reliable.

Since May 2023, I am a PostDoc at TU Wien in the Machine Learning Research Unit, hosted by Thomas Gärtner. Earlier, I did my PhD at the University of Trento and Fondazione Bruno Kessler in Italy, with Lucinao Serafini.