ugly face

Wolfgang (Wolf) Polak



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