Sergei N. Artemov
Sergei Artemov, a famous specialist in mathematical logic and theoretical computer science, and a member of our editorial board, celebrates his 50th birthday in 2001.
His main scientific interests are: mathematical logic and proof theory; logic in computer science; knowledge representation and artificial intelligence; automated deduction and verification; optimal control and hybrid systems. Here are just few of his results:
Professor Artemov is also known as a gifted teacher. Many of his students are well-known specialists in mathematical logic: L. Beklemishev and M. Pentus (winners of the Moscow Mathematical society prize for young mathematicians), G. Japaridze, K. Ignatiev, A. Kopylov, V. Shavrukov, and others.
We wish Sergei Artemov many happy returns of the day.
Yu. Ilyashenko, V. Shehtman, M. Tsfasman