ugly face

Wolfgang (Wolf) Polak



1021 Yorktown Drive
Sunnyvale, CA 94087-2071
(408) 799-9210 (voice)
(408) 735-8014 (fax)
email

Professional Interest

Theoretical Computer Science
Semantics of programming languages
Program verification and synthesis
Domain-specific languages
Quantum computing
Evolutionary computation
Technology transfer

Other Interests

Travel Pictures