About Kevin López-Aquino

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

Lists

Timeline

{username} has no activity yet