João Paulo Pizani Flor

Researching the connections between Dependent Types and Hardware/Low-level software design

Location

Utrecht

Disciplines

Affiliation

Utrecht University

Profile picture

Following (0)

joaopizani is not following anyone.

Followers (1)

icodata

Groups