Wolfgang Polak, PhD
Computer Science Consultant

Technology transfer from academic research to industrial practice.

Professional interest

  • Formal Methods
    Semantics and verification
    Program synthesis
    Special-purpose language design
  • Innovative software technology
    Genetic algorithms, genetic programming
    Agent semantics
    Emerging behavior
    Machine learning
  • Quantum Computing
    Quantum algorithms
    Application of quantum cryptography


An introduction to quantum computing can be found in the preprint of our (joint with Eleanor Rieffel) tutorial (also available in Russian     ).

A list of publications is available in bibtex format.

Available in a bookstore near you:

book cover
MIT Press      Amazon
The Wiki discusses exercises and shows errata.

Some Clients (past and present)



Wolfgang Polak, PhD
Computer Science Consultant

Personal home page