{"id":1069,"date":"2016-12-20T16:36:18","date_gmt":"2016-12-20T16:36:18","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/unikentcomp-news\/?p=1069"},"modified":"2016-12-20T16:36:18","modified_gmt":"2016-12-20T16:36:18","slug":"new-lecturer-joins-kent-from-microsoft","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2016\/12\/20\/new-lecturer-joins-kent-from-microsoft\/","title":{"rendered":"New Lecturer joins Kent from Microsoft"},"content":{"rendered":"<div class=\"page\" title=\"Page 1\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>Dr\u00a0<a href=\"https:\/\/www.cs.kent.ac.uk\/people\/staff\/mc817\/\">Maria Christakis<\/a>\u00a0has joined\u00a0the University of Kent as a lecturer in the School of Computing.\u00a0Maria\u00a0is a member of the\u00a0<a href=\"https:\/\/www.cs.kent.ac.uk\/research\/groups\/plas\/\">Programming Languages and Systems Research Group<\/a>\u00a0and\u00a0will be based at the Canterbury campus.<\/p>\n<p>Maria\u00a0has a PhD from ETH Zurich with a thesis on &#8216;Narrowing the Gap between Verification and Systematic Testing&#8217;. She has more recently worked as a Post-doctoral researcher for Microsoft Research in Washington, USA.<\/p>\n<p>&#8216;My goal is to develop theoretical foundations and practical tools for building more reliable and usable software and increasing developer productivity. I am mostly interested in software engineering, programming languages, and formal methods. I particularly like investigating topics in automatic test generation, software verification, program analysis, and empirical software engineering. My tools and techniques explore novel ways in writing, specifying, verifying, testing, and debugging programs in order to make them more robust while at the same time improving the user experience.&#8217;<\/p>\n<p>&nbsp;<\/p>\n<div class=\"page\" title=\"Page 1\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Dr\u00a0Maria Christakis\u00a0has joined\u00a0the University of Kent as a lecturer in the School of Computing.\u00a0Maria\u00a0is a member of the\u00a0Programming Languages and Systems Research Group\u00a0and\u00a0will be based &hellip; <a href=\"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2016\/12\/20\/new-lecturer-joins-kent-from-microsoft\/\">Read&nbsp;more<\/a><\/p>\n","protected":false},"author":5321,"featured_media":1071,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[124],"tags":[150023,112420,142770],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1069"}],"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=1069"}],"version-history":[{"count":3,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1069\/revisions"}],"predecessor-version":[{"id":1073,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1069\/revisions\/1073"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media\/1071"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media?parent=1069"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/categories?post=1069"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/tags?post=1069"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}