Zsolt Zombori

Researcher, Alfréd Rényi Institute of Mathematics

  • Joined November 2016

Names

Zsolt Zombori (Preferred)

Emails

****@t-online.hu (Confirmed)
,
****@renyi.hu (Confirmed)

Personal Links

Career & Education History

Researcher
Alfréd Rényi Institute of Mathematics (renyi.hu)
2016 – Present
 
Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2021 – 2022
 
PhD student
Budapest University of Technology an Economics (bme.hu)
2009 – 2013
 

Advisors, Relations & Conflicts

No relations added

Expertise

Neuro-symbolic integration
Present
 
Machine Learning for Theorem Proving
2018 – Present
 
deep learning, residual networks, generative models
2016 – Present
 
logic, reasoning, automated theorem proving, Description Logics
2008 – 2013
 
Prolog, logic programming, constraint logic programming
2008 – 2013