Assistant Professor Hamid Bagheri will present the next quarterly CSE Tech Talk Series at noon on Wednesday, May 13 via Zoom.
Register for the webinar online here.
“Automating Pragmatic Software Dependability”
Abstract: The inherent complexity of large-scale software systems has always posed a significant challenge to software practitioners. On top of this, the ever-increasing expansion of software into nearly every aspect of modern life is making its dependability more critical than ever. Automating the cumbersome and error-prone software engineering activities is paramount for achieving dependable software. On the strength of their automated, yet formally-precise analysis capabilities, lightweight formal methods have recently received a lot of attention in the software engineering community. In this talk, I will present the ongoing research in my research group, which explores the possibility of leveraging such formally rigorous techniques that rely on recent advancements in constraint solving technologies for automated and practical dependability analysis of widely-used software systems.
Bio: Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR), and a co-director of the ESQuaReD Lab. Prof. Bagheri is a recipient of the EPSCoR FIRST Award and the NSF CISE Career Research Initiation Initiative Award. Prior to joining UNL, he was a postdoctoral researcher at University of California, Irvine and Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia. His research interests are in the field of software engineering, and to date his focus has spanned the areas of security analysis, software testing, applied formal methods, software architecture, and dependability analysis. He is currently on the review boards of the IEEE Transactions on Software Engineering and the ACM Transactions on Software Engineering and Methodology.
E-mail: bagheri@unl.edu
Website: https://cse.unl.edu/~hbagheri/