Show The Graduate Center Menu
 
 

Sergei Artemov
Position: Distinguished Professor
Campus Affiliation: Graduate Center
Research Interests: logic in computer science, mathematical logic and proof theory, knowledge representation and artificial intelligence, automated deduction and verification, optimal control and hybrid systems.