Vladimir Lifschitz (nacido el 30 de mayo de 1947) es profesor centenario de la familia Gottesman en Ciencias de la Computación en la Universidad de Texas en Austin . Se licenció en matemáticas en el Instituto Steklov de Matemáticas de Rusia en 1971 y emigró a los Estados Unidos en 1976. Los intereses de investigación de Lifschitz se centran en las áreas de lógica computacional y representación del conocimiento . Es miembro de la Asociación para el Avance de la Inteligencia Artificial , editor jefe de ACM Transactions on Computational Logic y asesor editorial de la revista Theory and Practice of Logic Programming .
Junto con Michael Gelfond , definió la semántica del modelo estable [1] para programas lógicos , que luego se convirtió en la base teórica de la Programación de Conjuntos de Respuestas [2] , un nuevo paradigma de programación declarativa .