- Formal Methods
Semantics and verification
Special-purpose language design
- Innovative software technology
Genetic algorithms, genetic programming
- Quantum Computing
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:
The Wiki discusses exercises and shows errata.