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


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 Luca Viganò, Professor of Computer Science, Software Modelling and Applied Logic.

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.

About the Speaker:

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.

About the Panellist:

Wally Lee

Cybersecurity Architect, Cybersecurity Global Practice

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.

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

Event Timeline
  • The event description was updated. Diff 2016-07-08 14:56:49
Thu Jul 28, 2016
6:30 PM - 7:30 PM SGT
Add to Calendar
Microsoft Auditorium
British Council Lecture - Free
Venue Address
Microsoft Operations Pte Ltd. 1 Marina Boulevard #21-01 One Marina Boulevard. Singapore 018989 Singapore
British Council Singapore