Vladimir Lifschitz

from Wikipedia, the free encyclopedia

Vladimir A. Lifschitz , Russian Владимир Лифшиц , transcription Wladimir Lifschitz , (born May 30, 1947 in Moscow ) is a Russian-American mathematician, logician and computer scientist.

Live and act

Lifschitz moved to Leningrad when he was five. He was considered to have an early gift for mathematics and was admitted to the Leningrad State University in 1963 at the age of 16 . In 1966 he presented his work in mathematical logic at the International Congress of Mathematicians in Moscow. In 1967 he married the English studies student Elena Donskaya. In 1968 he graduated and in 1969 he received his doctorate from the Steklow Institute in Leningrad with Nikolai Alexandrowitsch Schanin (constructive counterparts to Gödel's Completeness Theorem (Russian)).

Despite his Jewish origins, he managed to get employed by Boris Pittel at a research institute. In 1974 he applied for an exit visa and in 1976 he went with his wife to the USA, where he initially worked with Patrick Suppes at Stanford University . In 1977 he became an assistant professor at Brigham Young University and in 1979 at the University of Texas at El Paso (UTEP), where he turned to computer science. He is Professor of Computer Science at the University of Texas at Austin .

He deals with logic programming . With Michael Gelfond (who had studied with him in Leningrad) he established stable model (Answer Set) semantics of logic programs, the basis for Answer Set Programming (ASP).

He is a Fellow of the Association for the Advancement of Artificial Intelligence and Editor of the ACM Transactions on Computational Logic.

Fonts

  • with Michael Gelfond: The Stable Model Semantics for Logic Programming . In: International Conference on Logic Programming (ICLP / SLP). 1988, pp. 1070-1080.

literature

  • Jack Minker: To Vladimir Lifschitz on His 65th Birthday . In: Esra Erdem (Ed.): Correct Reasoning (Lecture notes in computer science; Vol. 7265). Springer, Berlin 2012, ISBN 978-3-642-30742-3 .

Web links

Individual evidence

  1. ↑ Vladimir Lifschitz in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Lifschitz, Vladimir
ALTERNATIVE NAMES Lifschitz, Vladimir A .; Lifschitz, Vladimir; Лифшиц, Владимир (Russian)
BRIEF DESCRIPTION Russian-American mathematician, logician, and computer scientist
DATE OF BIRTH May 30, 1947
PLACE OF BIRTH Moscow