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
- homepage de Vladimir Lifschitz na Universidade do Texas em Austin
- publicações de Vladimir Lifschitz sobre DBLP
- Vladimir Lifschitz no Projeto Matemática Genealogy
P ≟ NP | Este artigo biográfico em relação a um cientista da computação é um esboço . Você pode ajudar a Wikipédia expandindo-o . |