Thor, obiektowy system baz danych. Razem z Jeannette Wing sformułowała definicję podtypowania, znaną jako zasada podstawienia Liskov.
Kieruje grupą metodologii programowania MIT, a obecnie skupia się na badaniu problemu bizantyjskich generałów i obliczeń rozproszonych.
Uznania i nagrody Członkini Amerykańskiej Akademii Sztuk i Nauk, Association for Computing Machinery oraz National Academy of Engineering.
W 2002 magazyn Discover wyróżnił Liskov jako jedną z 50. najważniejszych kobiet w nauce. W 2004 została nagrodzona medalem Johna von Neumanna za fundamentalny wkład do rozwoju języków programowania, metodologii programowania oraz systemów rozproszonych. 19 listopada 2005 wraz z Donaldem Knuthem otrzymała honorowy doktorat uczelni Politechniki Federalnej w Zurychu. W 2018 roku otrzymała tytuł doktora honoris causa na Universidad Politécnica de Madrid.
W marcu 2009 roku otrzymała nagrodę Turinga za rok 2008. Nagrodę umotywowano wkładem w projektowanie języków programowania oraz metodologii oprogramowania, która doprowadziła do rozwoju programowania obiektowego. Liskov rozwinęła dwa języki programowania – CLU i Argus w latach 70 i 80.