•   When: Tuesday, June 04, 2024 from 01:00 PM to 02:00 PM
•   Speakers: Hamid Bagheri, Associate Professor in the School of Computing at the University of Nebraska-Lincoln
•   Location: ENGR 4201
•   Export to iCal

ABSTRACT:

The intricacies of large-scale software systems have long posed significant challenges for software researchers and practitioners. Moreover, with software pervading nearly every aspect of modern life, from mobile banking to healthcare systems, ensuring its security and dependability has become more crucial than ever. Software verification stands out as a cornerstone for achieving the highest levels of software assurance. Notably, lightweight formal methods have garnered considerable attention within the software engineering and security communities, due to their automated yet formally precise analysis capabilities, which reduce the burden on traditional formal verification techniques. In this talk, I will present the ongoing research conducted by my group, which explores the possibility of leveraging lightweight formal methods backed by static and dynamic program analysis, along with machine learning, for automated and pragmatic security and dependability analysis of widely-used software systems. I will illustrate these ideas in the context of practical applications, discuss their potential for advancing the field forward, and pose essential areas of research in the coming era.

BIO:

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln. He is a faculty associate at the Institute for Software Research (ISR) at the University of California, Irvine, and a co-director of the ESQuaReD Lab. Bagheri's distinguished research contributions have earned him numerous awards, including the EPSCoR FIRST Award, the NSF CISE Career Research Initiation Initiative Award, and several ACM SIGSoft distinguished paper awards. Prior to joining UNL, Bagheri served as a postdoctoral researcher at Massachusetts Institute of Technology, University of California, Irvine, and George Mason University. He obtained his Ph.D. in computer science from the University of Virginia. Bagheri's research interests encompass various domains within software engineering, including security analysis, software testing, applied formal methods, software architecture, machine learning, and CPS dependability. The tools resulting from his research have been adopted by multiple agencies for security vetting of software systems. His publications at several conferences have been recognized as best papers. He is currently on the review board of ACM Transactions on Software Engineering and Methodology.