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

I am interested in developing automated learning and reasoning methods. I focus on developing methods that can deal with complex real-world data, while being provably efficient and formally correct. I am also interested in interpretability and verification of autonomous systems.

Most of my work involves a mix of logic, probability and machine learning.

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.