xkapastel

Personal information


Program synthesis, static analysis

History


5 years 2 weeks