Albert Rubio
Has grant
Full Professor
SpainResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Albert Rubio is a Full Professor at Universidad Complutense de Madrid, Spain. His research centers on advanced techniques in software optimization and smart contracts, as evidenced by his recent publications on topics such as neural-guided superoptimization and heap analysis for bytecode synthesis. He has also explored parametric gas bounds for smart contracts and actor-based model checking, contributing significantly to the intersection of software engineering and blockchain technology.
Recent Grants
Grant: Close
Logic-Based Smart Solutions (LoBaSS)
Open Date: 2016-01-01
Close Date: 2018-12-01
Grant: Close
A Declarative Approach to Model, Analyse and Solve problems (DAMAS)
Open Date: 2014-01-01
Close Date: 2016-06-01
Grant: Close
SweetLogics
Open Date: 2011-01-01
Close Date: 2015-06-01
Grant: Close
LogicTools-2
Open Date: 2007-10-01
Close Date: 2010-09-01
Grant: Close
LogicTools
Open Date: 2004-12-01
Close Date: 2008-03-01
Articles (6)
Year:
2025
Year:
2025
Year:
2024
Year:
2022
Year:
2021
Year:
2021
Collaborators (6)
Matteo Sammartino
Royal Holloway, University of London
Pablo Gordillo
Profesor Ayudante Doctor
Universidad Complutense de Madrid
Maria Garcia de la Banda
MONASH UNIVERSITY
Jesús Correas
Associate Professor (Profesor Contratado Doctor)
Universidad Complutense de Madrid
Guillermo Román-Díez
Associate Professor (Profesor Titular)
Universidad Politécnica de Madrid
Miguel Isabel
Universidad Complutense de Madrid
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.