Short bio
Dr. Omar Haider Chowdhury is an Assistant Professor of Computer Science at the University of Iowa, where he also serves as the co-director of the Computational Logic Center (CLC). He received his Ph.D. in Computer Science at the University of Texas at San Antonio and his BSc. in Computer Science and Engineering from the Bangladesh University of Engineering and Technology. Before joining Iowa, he was a postdoctoral research associate at Carnegie Mellon University and Purdue University. His research focuses on developing principled approaches based on automated reasoning techniques for analyzing and strengthening computer software and networks. His work has appeared in both reputed computer security and formal methods venues including IEEE S&P, ACM CCS, NDSS, ACSAC, CAV, FMCAD, and RV. His research has been supported by both NSF and DARPA including the DARPA Young Faculty Award.
— presenter's bio has been redacted at the date of last given talk