palexand

Personal information


United States

male

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

History


12 years 36 weeks