{"id":17171,"date":"2023-03-29T11:57:43","date_gmt":"2023-03-29T15:57:43","guid":{"rendered":"https:\/\/www.bu.edu\/cs\/?post_type=profile&#038;p=17171"},"modified":"2024-11-22T13:10:59","modified_gmt":"2024-11-22T18:10:59","slug":"zachery-casey","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/cs\/profiles\/zachery-casey\/","title":{"rendered":"Zachery Casey"},"content":{"rendered":"<div id=\"outline-container-org5fb1a5f\" class=\"outline-2\">\n<div class=\"outline-text-2\" id=\"text-org5fb1a5f\">\n<p>I am a second year PhD student at Boston University. My advisor is<span>\u00a0<\/span><a href=\"https:\/\/hwxi.github.io\/\">Hongwei Xi<\/a>. As a part of the<span>\u00a0<\/span><a href=\"https:\/\/www.bu.edu\/cs\/research\/popv\/\">Principles of Programming and Verification<\/a><span>\u00a0<\/span>research group, my interests are primarily focused on the development of resource aware programming languages with rich type systems.<\/p>\n<h3>Website<\/h3>\n<p><a href=\"https:\/\/cs-people.bu.edu\/caseyz\/\">https:\/\/cs-people.bu.edu\/caseyz\/<\/a><\/p>\n<\/div>\n<\/div>\n","protected":false},"author":20056,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17171"}],"collection":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/users\/20056"}],"version-history":[{"count":2,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17171\/revisions"}],"predecessor-version":[{"id":17174,"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/profile\/17171\/revisions\/17174"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cs\/wp-json\/wp\/v2\/media?parent=17171"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}