Mathematics

Dr. Ashutosh Gupta
TIFR Mumbai

Our lives are interlaced with computing devices. A typical computing device executes software containing millions of lines of code and performs complex logical tasks. Due to this high complexity and size, designing reliable software is very hard. Currently, engineers in the software industry are applying many techniques to increase the reliability of software, e.g., testing and code review. However, these techniques have limitations, hence researchers have been exploring new ways to ensure software reliability. For example, mathematical reasoning about software, which is known as software verification, has the potential to further improve software reliability and has been successfully used in some limited cases.

In this talk, the speaker will present the difficulty of verifying concurrent programs automatically and research directions of research for improve the performance of the verification task. The talk will also include some of our contributions in the field.