xkapastel

Personal information


Program synthesis, static analysis

History


3 years 10 weeks