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 Publications 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: MIT Press      Amazon The Wiki discusses exercises and shows errata.

Some Clients (past and present)

• Odyssey Research Associates (now ATC-NY atc-nycorp.com)
• Lockheed Martin Missiles and Space, Advanced Technology Center
• Fuji-Xerox Palo Alto Laboratory (FXPAL)
• Program Analysis and Verification Group of Stanford University (PAVG)
• DARPA
• Performance Star LLC

Contact

Personal home page