Barbara Liskov: La científica de la computación que construyó los tipos de datos abstractos y los sistemas distribuidos