xkapastel

Personal information


Program synthesis, static analysis

History


10 years 14 weeks