After a period of joyful postdocs in the U.S. and Canada, he became a mature worker in the factory of academia. He contributes mainly to arithmetic circuit complexity and proof complexity. His hobbies include mountaineering and brooding.