# Sergei Artemov

## The CUNY Graduate Center

### external web page

Professor Artemov holds a Distinguished Professor position at the Graduate Center of the City University of New York, in the Computer Science, Mathematics and Philosophy programs. He is also Professor of Mathematics at Moscow State University, the founder and the Head of the research laboratory Logical Problems in Computer Science. He conducts research in the areas of logic in computer science, mathematical logic and proof theory, knowledge representation and artificial intelligence, automated deduction and verification and optimal control and hybrid systems.

Sergei Artemov has 26 talks in our database:

Computational Logic Seminar
December 8, 2015

Computational Logic Seminar
March 24, 2015

Computational Logic Seminar
March 5, 2013