snedunuri | Lambda the Ultimate

snedunuri

view
track

Personal information

Interests:

Program synthesis from formal specifications
Model driven development
Interstellar travel

History

Member for:
16 years 3 weeks