Wolfgang (Wolf) Polak
1021 Yorktown Drive Sunnyvale, CA 94087-2071
(408) 799-9210 (voice)
Theoretical Computer Science
Semantics of programming languages
Program verification and synthesis
Biking: Calfee Tetra-pro, Canondale Trail 4
: the Bay Area is a great place for that.