snedunuri | Lambda the Ultimate

snedunuri

view
track

Personal information

Interests:

Program synthesis from formal specifications
Model driven development
Interstellar travel

History

Member for:
15 years 50 weeks