Have graduated the Novosibirsk State University in 1976, the speciality "mathematical linguistics". Senior scientific researcher in Sobolev Institute of Mathematics SB RAS, professor of Novosibirsk State University.

• Estestvennye i formalnye yazyki: logiko-filosofskii analiz. Novosibirsk: Izd-vo IM SO RAN, 2003.
• Osobennosti dialoga v yazykakh spetsifikatsii zadach // Modeli kognitivnykh protsessov (Vychislitelnye sistemy, 167). Novosibirsk, 2001, s. 3–18. (v soavtorstve s A. A. Moskvitinym).
• Ponyatie vremeni v estestvennom yazyke // Metodologicheskie aspekty kognitivnykh protsessov (Vychislitelnye sistemy, 170). Novosibirsk, 2002.
• Introspective and Traditional Views of Language // Logic and Logical Philosophy, Vol. 15, 2006.

• Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk