{"id":19545,"date":"2020-02-07T14:37:04","date_gmt":"2020-02-07T18:37:04","guid":{"rendered":"https:\/\/www.bu.edu\/hic\/?post_type=profile&#038;p=19545"},"modified":"2025-09-30T08:08:42","modified_gmt":"2025-09-30T12:08:42","slug":"assaf-kfoury","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/hic\/profile\/assaf-kfoury\/","title":{"rendered":"Assaf Kfoury"},"content":{"rendered":"<p><span>Professor Assaf Kfoury is a Professor of Computer Science currently teaching about programming languages and type theory. His current research is in internet programming through the <a href=\"https:\/\/sites.google.com\/site\/ibenchbu\/\">iBench initiatve<\/a>\u00a0as well as the\u00a0Church Project, which investigates the foundations, design principles and implementation techniques of programming languages. His research interests have been about the many interactions between\u00a0<i>Mathematical Logic<\/i>\u00a0and\u00a0<i>Computer Science<\/i>\u00a0broadly speaking (hereafter:\u00a0<i>Math Logic in CS<\/i>), which have thus included such things as\u00a0<i>type theory<\/i>, the\u00a0<i>lambda-calculus<\/i>,\u00a0<i>static analysis<\/i>,\u00a0<i>recursion theory<\/i>, and less fashionable areas (yes, there are fashions in scientific research) such as the theory of\u00a0<i>program schemas<\/i>\u00a0(closely related to something called\u00a0<i>abstract computability<\/i>\u00a0and something else called\u00a0<i>abstract interpretation<\/i>). From time to time, I venture outside the boundaries of\u00a0<i>Math Logic in CS<\/i>, into such areas as\u00a0<i>graph theory<\/i>\u00a0and\u00a0<i>applied algorithms<\/i>, or mathematical aspects of\u00a0<i>system networking<\/i>, and sometimes into areas requiring some system development (coding of software packages).<\/span><\/p>\n","protected":false},"author":8550,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/19545"}],"collection":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/users\/8550"}],"version-history":[{"count":5,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/19545\/revisions"}],"predecessor-version":[{"id":39256,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/19545\/revisions\/39256"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/media?parent=19545"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}