Lambda the Ultimate

EE with much analog design background, but also heavy CS (yes, it's an odd combo). Spent time in the semiconductor business. Currently writing firmware for digital music gear and pursuing a masters in CS.

Process calculi, formal methods, applying FP in novel ways, small embedded systems.