{"id":6481,"date":"2026-09-30T21:16:46","date_gmt":"2026-09-30T21:16:46","guid":{"rendered":"https:\/\/uni.hi.is\/helmut\/?p=6481"},"modified":"2026-10-02T13:10:11","modified_gmt":"2026-10-02T13:10:11","slug":"interview-with-2008-acm-a-m-turing-award-winner-barbara-liskov","status":"publish","type":"post","link":"https:\/\/uni.hi.is\/helmut\/2026\/09\/30\/interview-with-2008-acm-a-m-turing-award-winner-barbara-liskov\/","title":{"rendered":"Interview with 2008 ACM A.M. Turing Award winner Barbara Liskov"},"content":{"rendered":"<p>I stumbled over a nice interview with 2008 ACM A.M. Turing Award winner Barbara Liskov -- a pioneer in Software Engineering and Distributed Systems.<\/p>\n<p><iframe loading=\"lazy\" title=\"Turing Award Winner: Data Abstraction, Dijkstra, Distributed Systems | Barbara Liskov\" width=\"474\" height=\"267\" src=\"https:\/\/www.youtube.com\/embed\/T9CGjbPZeaM?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe><\/p>\n<p>Alone her comment on Python's lack of encapsulation is worth viewing it from a Software Engineering point of view.<\/p>\n<p>There have been concerns on <a href=\"https:\/\/mnemehq.com\/insights\/barbara-liskov-python-encapsulation-ai-governance\">implications for agentic AI<\/a> because LLMs are known to cheat: e.g. instead of trying to find the solution on their own, agentic AI swarms hack into HuggingFace hoping to find some help for the solution there.<\/p>\n<p>Therefore, instead of adhering to encapsulation conventions, GenAI might simply break encapsulation in the generated Python code if the AI thinks that this helps to solve the problem at hand. <\/p>\n<p>I have the hope that an agentic AI that is used to produce Python code respects rules that guide it to adhere to encapsulation in Python code.<\/p>\n<p>By the way: <a href=\"https:\/\/www.archunit.org\/\">ArchUnit<\/a> is a way to check adherence to architectural rules (and a version for Python exists as well) and this can be used in agentic AI tool chains to test adherence to architectural rules.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I stumbled over a nice interview with 2008 ACM A.M. Turing Award winner Barbara Liskov -- a pioneer in Software Engineering and Distributed Systems. Alone her comment on Python's lack of encapsulation is worth viewing it from a Software Engineering point of view. There have been concerns on implications for agentic AI because LLMs are [&hellip;]<\/p>\n","protected":false},"author":512,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[79],"tags":[],"class_list":["post-6481","post","type-post","status-publish","format-standard","hentry","category-research"],"_links":{"self":[{"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/posts\/6481","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/users\/512"}],"replies":[{"embeddable":true,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/comments?post=6481"}],"version-history":[{"count":11,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/posts\/6481\/revisions"}],"predecessor-version":[{"id":6495,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/posts\/6481\/revisions\/6495"}],"wp:attachment":[{"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/media?parent=6481"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/categories?post=6481"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/uni.hi.is\/helmut\/wp-json\/wp\/v2\/tags?post=6481"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}