Education

• ‣ 1987: C.Sс. (Candidate of Sciences, i.e., Ph.D.) in math,
  ‣ Novosibirsk State University, Soviet Union,
  ‣ Ideals and Quotient-Algebras of Constructive Boolean Algebras
  ‣ (thesis advisor: S.S. Goncharov)
• ‣ 2007: D.Sс. (Doctor of Sciences) in math,
  ‣ Sobolev Institute of Mathematics, Russian Federation,
  ‣ Constructive Negations and Paraconsistency
  ‣ (english version was published as monograph) [details]

Scientific interests

• ‣ {non-classical logics}: constructive and paraconsistent ones, etc
• ‣ {logic programming}: stable models and well-founded semantics, etc
• ‣ {philosophical logic}: theory of truth (according to Kripke), etc

In editorial boards of

• ‣ Algebra and Logic (since 1989 till 1994)
• ‣ Studia Logica (associate editor since 2010)
• ‣ Logica Universalis (since 2007)
• ‣ Logic and Logical Philosophy (since 2004)