xkapastel

Personal information


Program synthesis, static analysis

History


4 years 36 weeks