![Albert Rubio](https://2024.issta.org/getProfileImage/albertrubio1/effd4c9a-16fb-4d5d-83cb-a32d83d40c47/small.jpg?1712039147000)
Registered user since Wed 7 Oct 2020
Name:Albert Rubio
Affiliation:Complutense University of Madrid
Personal website: https://costa.fdi.ucm.es/~arubio/
Research interests:Automated Reasoning, Constraint Solving, Program Analysis, Compilers, Blockchain technologies
Contributions
Using general profile