{"id":401,"date":"2019-12-31T13:55:26","date_gmt":"2019-12-31T13:55:26","guid":{"rendered":"https:\/\/blogs.kcl.ac.uk\/performance\/?page_id=401"},"modified":"2019-12-31T13:55:48","modified_gmt":"2019-12-31T13:55:48","slug":"professor-luca-vigano","status":"publish","type":"page","link":"https:\/\/blogs.kcl.ac.uk\/performance\/professor-luca-vigano\/","title":{"rendered":"Professor Luca Vigan\u00f2"},"content":{"rendered":"\n<p class=\"has-small-font-size\"><strong>Luca Vigan\u00f2 is Professor of Computer Science in the Faculty of Natural &amp; Mathematical Sciences, King&#8217;s College London. He is also Vice Dean for External Relations and Head of the Cybersecurity Group. Recently dubbed a &#8216;<a href=\"https:\/\/www.kcl.ac.uk\/news\/kings-cultural-community-spotlight-on-luca-vigano\">computer scientist by day, playwright by night<\/a>&#8216;, Professor Luca&#8217;s research interests include: Formal Methods for security; Security logics; Security testing; Labelled deduction for non-classical logics (modal logics, substructural logics, etc.); and Combination of logics. Equally, he has had several plays professionally produced in Italy (by theatres comparable to the Old Vic).<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"682\" src=\"https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-3.xf179a188-1024x682.jpg\" alt=\"\" class=\"wp-image-403\" srcset=\"https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-3.xf179a188-1024x682.jpg 1024w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-3.xf179a188-300x200.jpg 300w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-3.xf179a188-768x512.jpg 768w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-3.xf179a188.jpg 1280w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption>A still from one of Professor Luca Vigan\u00f2&#8217;s plays<\/figcaption><\/figure>\n\n\n\n<p class=\"has-small-font-size\"><strong>Professor Vigan\u00f2 is Italian and studied electronic engineering in his hometown Genoa. He moved\u00a0to Germany for a PhD in Computer Science. He then spent three years at ETH Zurich and seven years in Verona, before joining King\u2019s College London\u00a0in October 2013.<\/strong><\/p>\n\n\n\n<p class=\"has-small-font-size\"><strong>In his research life, Professor Vigan\u00f2 develops formal and automated approaches based on\u00a0mathematical logic to model and analyse security protocols, web services,\u00a0web applications, socio-technical systems and cyber-physical\u00a0systems. He uses plays, movies, novels and popular culture artworks in his modules on cryptography and security, which students find interesting and refreshing.<\/strong><\/p>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-secondary-background-color has-secondary-color is-style-wide\" \/>\n\n\n\n<h4 class=\"wp-block-heading\">Performance and Artistic Collaborations<\/h4>\n\n\n\n<p class=\"has-small-font-size\"><strong>Professor Vigan\u00f2&#8217;s plays take on very diverse subjects. <em>Galois<\/em> is about Evariste Galois (one of the fathers of modern algebra) who died in a duel in 1832.\u00a0<em>The Game of Kings<\/em> is about\u00a0Jos\u00e9 Ra\u00fal Capablanca and Alexander Alekhine (the third and the fourth world chess champions). Capablanca was undefeated for eight years before losing the title to Alekhine in 1927. They never had a return match as Alekhine refused to concede it.<\/strong><\/p>\n\n\n\n<p class=\"has-small-font-size\"><strong>More information about Professor Vigan\u00f2&#8217;s plays can be found at:\u00a0<a href=\"https:\/\/eur03.safelinks.protection.outlook.com\/?url=http%3A%2F%2Fwww.lucavigano.com&amp;data=01%7C01%7Cjosephine.walsh%40kcl.ac.uk%7Ca68c34325c044f8782a108d72ff3697c%7C8370cf1416f34c16b83c724071654356%7C0&amp;sdata=9Cy0UenuszrXwY%2BXIMqHsQiiVXaQrCXekMrWWqi6Jzk%3D&amp;reserved=0\">www.lucavigano.com<\/a>.<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"679\" src=\"https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-2.x0467b0ba-1024x679.jpg\" alt=\"\" class=\"wp-image-402\" srcset=\"https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-2.x0467b0ba-1024x679.jpg 1024w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-2.x0467b0ba-300x199.jpg 300w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-2.x0467b0ba-768x509.jpg 768w, https:\/\/blogs.kcl.ac.uk\/performance\/files\/2019\/12\/luca-vigano-cultural-community-spotlight-play-2.x0467b0ba.jpg 1280w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><figcaption>A still from one of Professor Luca Vigan\u00f2&#8217;s plays<\/figcaption><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-text-color has-background has-secondary-background-color has-secondary-color is-style-wide\" \/>\n","protected":false},"excerpt":{"rendered":"<p>Luca Vigan\u00f2 is Professor of Computer Science in the Faculty of Natural &amp; Mathematical Sciences, King&#8217;s College London. He is also Vice Dean for External Relations and Head of the Cybersecurity Group. Recently dubbed a &#8216;computer scientist by day, playwright by night&#8216;, Professor Luca&#8217;s research interests include: Formal Methods for security; Security logics; Security testing; &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/blogs.kcl.ac.uk\/performance\/professor-luca-vigano\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Professor Luca Vigan\u00f2&#8221;<\/span><\/a><\/p>\n","protected":false},"author":734,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-401","page","type-page","status-publish","hentry","entry"],"_links":{"self":[{"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/pages\/401","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/users\/734"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/comments?post=401"}],"version-history":[{"count":1,"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/pages\/401\/revisions"}],"predecessor-version":[{"id":405,"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/pages\/401\/revisions\/405"}],"wp:attachment":[{"href":"https:\/\/blogs.kcl.ac.uk\/performance\/wp-json\/wp\/v2\/media?parent=401"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}