Lazaro Alberto Larrauri Borroto

Formal Methods, Research Assistant

Alberto Larrauri Borroto joined IAIK in 2020 as a member of the Systematic Construction of Correct Systems group. Additionally, he is a PhD candidate in the program of Applied Mathematics at Barcelona Tech, under the supervision of Marc Noy.

Office room: IF02060

  Personal Website
Lazaro Alberto Larrauri Borroto