xkapastel

Personal information


Program synthesis, static analysis

History


4 years 6 weeks