|
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