{"id":1588,"date":"2018-08-02T13:26:45","date_gmt":"2018-08-02T12:26:45","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/unikentcomp-news\/?p=1588"},"modified":"2018-08-02T16:32:19","modified_gmt":"2018-08-02T15:32:19","slug":"new-programming-expert-joins-school-of-computing","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2018\/08\/02\/new-programming-expert-joins-school-of-computing\/","title":{"rendered":"New programming expert joins School of Computing"},"content":{"rendered":"

The School of Computing welcomes new lecturer Dr Stephen Kell. Stephen joins the School from the Department of Computer Science and Technology\u00a0at the University of Cambridge. He has also worked at Oracle Labs, the University of Lugano, and the University of Oxford.<\/p>\n

Stephen does practical research on programming systems will be joining the \u00a0Programming Languages and Systems (PLAS<\/a>) research group. His\u00a0interests span most \u00a0aspects of programming and software engineering,\u00a0and his research goal is to build infrastructure that enables better\u00a0software per unit cost – where the “costs” are primarily to human\u00a0beings, not machine resources. The systems he builds sit mostly on\u00a0the boundary between operating system and language runtime, between\u00a0which he sees only a very fluid boundary.<\/p>\n

Some of Stephen’s past and present research topics include: building software out of\u00a0heterogeneous “found” components; robust dynamic analysis on the Java Virtual Machine;\u00a0cross-language interoperability; reflective run-time services in\u00a0Unix-like processes; and, most recently, using the latter to provide new\u00a0kinds of dynamic checking in C and other traditionally unsafe\u00a0languages. He has also been\u00a0working on realistic formal specifications of operating systems’\u00a0linking, loading and system call interfaces.<\/p>\n

Stephen said; “I am excited to join the University of Kent because it’s a truly\u00a0world-class centre for research in programming languages and systems,\u00a0and gives me the opportunity to teach some exciting topics – both\u00a0about how computer systems really work, and how they might work in the\u00a0future.”<\/p>\n","protected":false},"excerpt":{"rendered":"

The School of Computing welcomes new lecturer Dr Stephen Kell. Stephen joins the School from the Department of Computer Science and Technology\u00a0at the University of … Read more<\/a><\/p>\n","protected":false},"author":5321,"featured_media":1589,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[124],"tags":[150016,178046],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1588"}],"collection":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/users\/5321"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/comments?post=1588"}],"version-history":[{"count":3,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1588\/revisions"}],"predecessor-version":[{"id":1592,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1588\/revisions\/1592"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media\/1589"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media?parent=1588"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/categories?post=1588"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/tags?post=1588"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}