Practical, lightweight formal analysis of software systems
Halls department, Hall 2
Thursday, 28 December 2017
15:30 - 16:30
The ever-increasing expansion of software into nearly every aspect of modern life, from mobile banking to healthcare systems, is making its dependability more important than ever. Software verification is known to provide the highest degree of software assurance; its strengths reside in using mathematical concepts to prove the correctness of specific properties. Most notably, lightweight formal methods have recently received a lot of attention in the software engineering community due to their automated, yet formally-precise analysis capabilities, which reduce the burden on traditional formal verification techniques. In this talk, I will present my ongoing research, which explores the possibility of leveraging lightweight formal methods that rely on recent advancements in constraint solving technologies for practical analysis of widely-used software systems.
Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at the University of Nebraska-Lincoln. Prior to joining UNL, he was a project scientist in the Institute for Software Research at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his Ph.D. in Computer Science from the University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.