Vladimir Lifschitz - Vladimir Lifschitz

Vladimir Lifschitz é o Professor Gottesman Família Centennial em Ciências da Computação na Universidade do Texas em Austin . Ele é formado em matemática pela Instituto Steklov de Matemática na Rússia em 1971 e emigrou para os Estados Unidos em 1976. interesses de pesquisa do Lifschitz são nas áreas de lógica computacional e representação do conhecimento. Ele é membro da Associação para o Avanço da Inteligência Artificial , o Editor-in-Chief das ACM Transactions em Computational Logic , e um Conselheiro Editorial da revista Teoria e Prática de Programação em Lógica .

Ele, juntamente com Michael Gelfond , definido semântica de modelo estável de programas lógicos, que mais tarde se tornou a base teórica para a Resposta Definir programação , um novo paradigma de programação declarativa.

Referências

links externos