ADM formalism | Russian formalism | BRST quantization | BRST algorithm |
In an unpublished Lebedev Institute report, he developed the BRST formalism around 1975 in Russia in parallel to and independently of the work of Carlo Becchi, Alain Rouet, and Raymond Stora in France.
In 2009 as recognition for the BRST formalism, he received the Dannie Heineman Prize for Mathematical Physics with Stora, Rouet, and Igor Tyutin.