Friday Hacks #66, March 14
Posted on by vishnu
This friday, we have a talk by Chia Yuan from DSO National Laboratories. See you there!
Date/Time: Friday, March 14th at 6:30pm Venue: SR2, Education Resource Centre, University Town Map: //goo.gl/maps/2Zy3M Free pizza is served before the talks.
Talk: Automated Reasoning: An Emerging Powerful Approach to Find Bugs in SoftwareTalk Description:
Software bugs are pervasive, but current techniques to find bugs are limited. Over the past decade, there are major algorithmic advances in constraint solvers, which enables the application of automated reasoning to find bugs in software. In this talk, I will give an introduction to this field, and talk about how automated reasoning relates to existing techniques such as testing and static analysis. I will briefly talk about existing automated reasoning tools that programmers can use to improve the quality of code. Then, I will talk about the leading edge research that we are doing to scale automated reasoning to real-world programs, often at least in the order of hundreds of thousands of lines of code.Speaker Profile Chia Yuan is a senior scientist at DSO National Laboratories, Singapore. He works on applied formal methods to computer security, in particular the application of automated techniques to improve software and systems security. He obtained his PhD from the University of California, Berkeley in December 2013.