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.
Finally available in a bookstore near you:
MIT Press Amazon
