Omar Haider ChowdhuryView profile
Associate Professor
Omar Haider Chowdhury is a SUNY Empire Innovation Scholar and Associate Professor in the Department of Computer Science at Stony Brook University. Previously, he was an Assistant Professor at the University of Iowa where he received the Dean's Scholar Award. He completed his postdoctoral research at Cylab, Carnegie Mellon University and Purdue University. His educational background includes a Ph.D. in Computer Science from the University of Texas at San Antonio under the supervision of Prof. Jianwei Niu and Prof. William H. Winsborough (deceased), and undergraduate education in Computer Science and Engineering at the Bangladesh University of Engineering and Technology (BUET). Chowdhury's research focuses on Computer Security and Privacy, with particular emphasis on applying formal verification, automated reasoning, runtime verification, programming languages, software engineering, and human-computer interaction techniques to solve practical security problems. His work addresses security challenges in SSL/TLS, X.509 PKI, Cellular Networks, Wi-Fi, Internet-of-Things (IoT), and Regulatory Compliance. He is also interested in fundamental problems in automated reasoning and formal verification. His recent publications demonstrate a strong focus on applying formal methods to practical security problems, with particular emphasis on cellular networks (4G/5G), IoT systems, and cryptographic protocols. His research shows a consistent pattern of bridging theoretical verification techniques with real-world security implementations, resulting in enhancements to widely used protocols like 4G LTE, 5G, and WPA2 enterprise. His scientific contributions have been recognized with numerous awards including: 2023 Test of Time Award, ACM SACMAT 2022 Dean's Scholar Award, University of Iowa 2021 Best Paper Award (Runner Up), ACM CCS 2020 Best Paper Award, ACNS 2019 DARPA Young Faculty Award Multiple Best Paper Awards at IEEE DASC, ACSAC, and NDSS Chowdhury has successfully mentored several PhD students including Dr. Moosa Yahyazadeh (now at Apple Inc.), and currently advises students including Joyanta Debnath, Muhammad Daniyal Pirwani, and Aliakbar Sadeghi. His research has been funded by both National Science Foundation (NSF) and Defense Advanced Research Projects Agency (DARPA), including a prestigious DARPA Young Faculty Award. His group's findings have directly influenced improvements in widely used security protocols and cryptographic libraries. He leads a research group focused on high-assurance software design and implementation, recently teaching courses on these topics at Stony Brook University. His research group combines expertise in formal methods, security analysis, and practical implementation to tackle emerging security challenges in modern computing systems.








