palexand

Personal information


United States

male

Systems level design, specification languages, formal methods, functional programming

History


19 years 6 weeks