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

A list of publications is available in bibtex format.

Books

Sorry, out of print: MIT Press      Amazon The Wiki discusses exercises and shows errata.

Still available in Korean: Kyobo Book

Verification, out of print: Amazon

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
• Tokyo Electron

Contact

Personal home page