Office: TAY 3.150B
Phone: 471-9564
vl@cs.utexas.edu
Webpage

Education: BS, St. Petersburg, PhD, Steklov Mathematical Institute

Research interests:
A leading figure in artificial intelligence, he has published extensively on constructive mathematics, nonmonotonic reasoning, and logic programming, and edited Artificial Intelligence and Mathematical Theory of Computation (1991). He serves on the editorial board of Artificial Intelligence. Before 1990 he taught at Stanford University.

Courses taught:
Logic, logic programming, circumscription, artificial intelligence

Field(s) of Study: Philosophical Logic