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

kevinlopaq has no activity yet