Zsolt Zombori graduated from Budapest University of Technology and Economics (Hungary) in Computer Science and from Brown University (USA) in Logic and Philosophy of Science. In 2013, he obtained a PhD at the Budapest University of Technology and Economics, in the field of automated reasoning. From 2013-2016 he worked at Morgan Stanley, developing mathematical models for financial products. From 2016 he is a member of the Artifical Intelligence group at the Rényi Alfréd Institute of Mathematics. His primary area of research is machine learning applied to the field of automated theorem proving. Since 2018, he teaches introductory courses on Deep Learning at the Eötvös Lorand University (ELTE).