Rubén Ballester

I am a research scientist in program synthesis at NDEA and a fourth-year PhD student in Topological Machine Learning Topological Machine Learning research group of the Department of Mathematics and Computer Science at the Universitat de Barcelona and at the AIDOS Lab supervised by Prof. Sergio Escalera, Prof. Carles Casacuberta and Dr. Bastian Rieck.

My current research involves program synthesis and neurosymbolic AI. My previous research involved studying and developing neural networks using algebraic topology tools. Also, I deeply care about the formalization of the mathematics behind deep learning, deep learning theory, and the field of theorem proving using machine learning.

Prior to this, I completed my MSc degree in Advanced Mathematics and Mathematical Engineering at the Universitat Politècnica de Catalunya and was awarded the Càtedra Mir-Puig award to the highest GPA of the master’s degree. Additionally, I obtained two bachelor’s degrees, one in Mathematics and one in Computer Science, from the Universitat de Barcelona. For my BSc thesis, I received an award from the Catalan Association for Artificial Intelligence for the second-best BSc or MSc thesis in Artificial Intelligence (the only BSc thesis) in Catalonia. During my master’s I also worked as an adjunct professor in some mathematics and computer science courses at the Universitat de Barcelona and as research assistant in topological machine learning at the HuPBA group.

You can reach me directly at my email: rballeba@gmail.com, or in my social networks: X, LinkedIn, or GitHub.