{"id":2698,"date":"2021-02-12T10:22:14","date_gmt":"2021-02-12T15:22:14","guid":{"rendered":"https:\/\/www.bu.edu\/riscs\/?post_type=profile&#038;p=2698"},"modified":"2021-02-12T14:05:33","modified_gmt":"2021-02-12T19:05:33","slug":"assaf-j-kfoury","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/riscs\/profile\/assaf-j-kfoury\/","title":{"rendered":"Assaf J. Kfoury"},"content":{"rendered":"<p><span>Professor,\u00a0<a href=\"https:\/\/www.bu.edu\/cs\/profiles\/assaf-kfoury\/\">Computer Science<\/a>,\u00a0CAS<\/span><\/p>\n<p><span>Professor Kfoury is a Professor of Computer Science currently teaching about programming languages and type theory. His current research is in internet programming through the\u00a0<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":18801,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/profile\/2698"}],"collection":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/users\/18801"}],"version-history":[{"count":1,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/profile\/2698\/revisions"}],"predecessor-version":[{"id":2701,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/profile\/2698\/revisions\/2701"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/media?parent=2698"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}