Zsolt Zombori
Research Fellow, Artificial Intelligence Research Department, HUN-REN Alfréd Rényi Institute of Mathematics
Professional profileDr Zsolt Zombori is a Research Fellow in the Artificial Intelligence Research Department at the HUN-REN Alfréd Rényi Institute of Mathematics. He graduated from the Budapest University of Technology and Economics (BME, Hungary) in Computer Science and from Brown University (USA) in Logic and Philosophy of Science. In 2013, he obtained a PhD from BME in the field of automated reasoning.
From 2013 to 2016, Dr Zombori worked at Morgan Stanley, developing mathematical models for financial products. Since 2016, he has been a member of the Artificial Intelligence group at the HUN-REN Alfréd Rényi Institute of Mathematics.
His primary research area is the application of machine learning to automated theorem proving, with interests also extending to neurosymbolic reasoning. Since 2018, he has taught introductory courses on Deep Learning at Eötvös Loránd University (ELTE).