pintman | Lambda the Ultimate

pintman

view
track

Personal information

Country:
Germany

Gender:
male

Interests:

Model Checking, Functional Programming, Formal Methods, self-* systems

History

Member for:
20 years 2 weeks