Institute of
Oriental Studies
Russian Academy of Science
Dr. of Physics and Mathematics
Formal systems in logic, computer science, and linguistics.
