snedunuri | Lambda the Ultimate

snedunuri

view
track

Personal information

Interests:

Program synthesis from formal specifications
Model driven development
Interstellar travel

History

Member for:
17 years 4 weeks