Pizani Flor

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

Location

Utrecht

Disciplines

Affiliation

Utrecht University

Profile picture

Groups