ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Albert Rubio

Registered user since Wed 7 Oct 2020

Name:Albert Rubio
Affiliation:Complutense University of Madrid
Research interests:Automated Reasoning, Constraint Solving, Program Analysis, Compilers, Blockchain technologies

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile