Home » user account

snedunuri

Personal information


Program synthesis from formal specifications
Model driven development
Interstellar travel

History


16 years 31 weeks