British Council 'Knowledge is GREAT' Lecture with King's College London and Microsoft ©

British Council 'Knowledge is GREAT' Lecture Series 2016

Thursday 28 July 2016 -
18:30 to 19:30
British Council 'Knowledge is GREAT' Lecture featuring Professor Luca Viganò, King's College London


British Council in partnership with King's College London and Microsoft

Proudly Presents:

British Council 'Knowledge is GREAT' Lecture:

'Is Security Really Mortals' Chiefest Enemy?'

A Lecture by Professor Luca Viganò, Professor of Computer Science, Software Modelling and Applied Logic and Vice Dean International, Natural and Mathematical Sciences, King's College London

The lecture will be followed by a panel discussion featuring Mr Wally Lee, Cybersecurity Architect, MIcrosoft.


The Internet is such a big part of our lives today that it’s hard to imagine that we once did without it. We use the Internet at work, at home, on the street. We use it to keep in touch, stay on top of the news, research information, manage our savings, pay bills, shop, vote, play and have fun. However, security failures make the news on a regular basis, reminding us that no country, industry, community or individual is immune to cyber risks and we face constant threats against our critical infrastructures, government, economy, identity and privacy. 

Experience has shown that the design of protocols and services for Internet security is highly error-prone and that conventional validation techniques based on informal arguments or testing are not up to the task. It is now widely recognised that only formal analysis can provide the level of assurance required by both developers and users. In this lecture, Professor Viganò will survey the novel formal methodologies and technologies for information security that he has developed with several collaborators and in the context of research and industrial projects, and suggest some interesting directions for the future.


Professor Luca Viganò

Professor Luca Viganò is a lead faculty member in King’s College London’s Department of Informatics, within the Faculty of Natural & Mathematical Sciences. He is part of the Software Modelling and Applied Logic Research Group. The group studies modelling and engineering of software systems, and applications of logic and mathematics to computer science, artificial intelligence, information and software security, and multi-agent systems. In addition to his departmental responsibilities Professor Vigano is Vice Dean International for the Faculty of Natural & Mathematical Sciences.

He graduated in Electronic Engineering at the university of his hometown, Genova, Italy, in 1994 and received his PhD in Computer Science from Saarland University, Germany, in 1997. He held a senior research scientist position at the University of Freiburg, Germany, from October 1997 to December 2002, and one at ETH Zurich, Switzerland, from January 2003 to September 2006, when he was appointed Associate Professor of Computer Science at the University of Verona, Italy. He joined King's College London in October 2013 as a Professor of Computer Science, Software Modelling and Applied Logic.

His research focuses on formal methods and tools for the specification, verification, and construction of secure systems, and on the theory and applications of non-classical and security logics. On these topics, he has published extensively, coordinated and participated in a large number of research and industrial projects, and taught several courses, tutorials and industrial courses.

Mr Wally Lee

Wally Lee is the Cybersecurity Architect at Microsoft covering Asia Pacific Region. He has over 18 years of technical pre-sales and hands-on experience in security audit, incident response management, compliance check, risk assessment, penetration test and security solutioning. He holds a Bachelor of Applied Science (Computer Engineering), Nanyang Technological University, Singapore. He is also a Certified Information Systems Security Professional (CISSP) and BS7799 Lead Auditor.

Prior to Microsoft, Wally was in McAfee where he held the appointment of Regional Enterprise Solutions Architect, where he is responsible in developing strategic relationships and providing technical/industry expertise in McAfee Security technologies and solutions for major financial institutions, telecommunication companies, government and defense agencies and multinationals in the region.

Prior to McAfee, Wally was with Singapore Computer Systems Ltd (SCS) as the Principal Consultant and was in-charge of the technical skills development of the engineers in the Security Competency Centre. He was also a P&L holder and was tasked the responsibility to co-run the security business.

Before joining SCS, Wally had been an entrepreneur and was the co-founder and Principal Consultant of Infinitum Security Pte Ltd in the mid 90's, where he run the security business and had provided security professional services including audit, hardening, web application penetration test and code review to its long list of client.

Wally is active in the Security Industrial and having served as EXCO and committee members in several boards and associations. He was the immediately President of Association of Information Security Professional (AiSP), an association aims at promote, develop, support and enhance the integrity, technical competence, management expertise, status and interests of information security professionals in Singapore.

Venue Details:

Date: Thursday 28th July 2016

Time: 6.30pm - 7.30pm (Registration will commence at 5.45pm)

A Post Lecture Reception will be provided

Venue: Microsoft Auditorium (Level 21), Microsoft Operations Pte Ltd. 1 Marina Boulevard #21-01 One Marina Boulevard. Singapore 018989


Places are strictly limited so please register here