snedunuri | Lambda the Ultimate

snedunuri

view
track

Personal information

Interests:

Program synthesis from formal specifications
Model driven development
Interstellar travel

History

Member for:
18 years 1 week