Francois Dupressoir | Lambda the Ultimate

Francois Dupressoir

view
track

Personal information

Country:
United Kingdom

Gender:
male

Interests:

Verification, security, type theory

History

Member for:
15 years 25 weeks