natural and formal languages; mathematical linguistics; logical analysis of language; formalization of natural language; logical semantics.
Biography
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.
Main publications:
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).