About Michael Gelfond
Born 1945. Michael Gelfond is an American and Russian computer scientist, engineer and university teacher.
Michael Gelfond is a Professor in Computer Sciences at Texas Tech University in the United States. He received a degree in mathematics from the Steklov Institute of Mathematics in Russia in 1974 and immigrated to the United States in 1978. Gelfond's research interests are in the areas of computational logic and knowledge representation. He is a Fellow of the Association for the Advancement of Artificial Intelligence, and an Area Editor (in Knowledge Representation and Nonmonotonic Reasoning) of the journal Theory and Practice of Logic Programming.
He, together with Vladimir Lifschitz, defined stable model semantics for logic programs, which later became the theoretical foundation for Answer Set Programming, a new declarative programming paradigm.
Donβt just read it β
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download Β· yours to keep Β· every purchase keeps this site free
Important facts
People in Michael Gelfond's life
Named in this biography and alive at the same time
Contemporaries
People whose lives overlapped Michael Gelfond's
Frequently asked questions
Who is Michael Gelfond?
American computer scientist
When was Michael Gelfond born?
Michael Gelfond was born on 7 November 1945 in Saint Petersburg.
What is Michael Gelfond's occupation?
Michael Gelfond is a computer scientist, engineer and university teacher.
What nationality is Michael Gelfond?
Michael Gelfond is American and Russian.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Michael Gelfond. https://biography.guide/michael-gelfond/
MLA: "Michael Gelfond." Biography.guide, https://biography.guide/michael-gelfond/.
Chicago: "Michael Gelfond." Biography.guide. https://biography.guide/michael-gelfond/.
Data last updated: 2026-09-20 Β· Spot an error? Report a correction.
Page generated 2026-09-27 05:15 UTC