pintman

Personal information


Germany

male

http://www.bakera.de

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

History


11 years 30 weeks