Omar Haider Chowdhury

SUNY Empire Innovation Scholar and Associate Professor
Department of Computer Science
Stony Brook University

Office: New Computer Science Building 135 (NCS 135).


About Me

I am currently a SUNY Empire Innovation Scholar and an Associate Professor of Computer Science at the Stony Brook University. Before joining Stony Brook University in Fall 2022, I was an Assistant Professor of Computer Science at the University of Iowa, where I was awarded the Dean's Scholar Award.
Before joining the University of Iowa in 2016, I was a post-doctoral research associate at Cylab, Carnegie Mellon University (Host: Prof. Anupam Datta>) and Purdue University (Host: Prof. Ninghui Li). I received my 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). I received my undergraduate education in Computer Science and Engineering (CSE) at the Bangladesh University of Engineering and Technology (BUET).


My research lies in Computer Security and Privacy. I generally use techniques from formal verification, automated reasoning, runtime verification, programming lanugages, software engineering, human-computer interaction, and measurement to solve practically-relevant computer security and privacy problems.
In the broad area of Computer Security and Privacy, I am particularly interested in problems in the software and network security domains. My current work includes addressing security and privacy problems in SSL/TLS, X.509 PKI, Cellular Network, Wi-Fi, Internet-of-Things (IoT), and Regulatory Compliance. I am also interested in solving fundamental problems in automated reasoning and formal verification.
The research of my group has been funded by both National Science Foundation (NSF) and Defense Advanced Research Projects Agency (DARPA), including a DARPA Young Faculty Award (YFA). Findings of our research have resulted in enhancements in the implementations and designs of widely used protocols (e.g., 4G LTE, 5G, WPA2 enterprise) and cryptographic libraries.




Current & Prior PhD Students

Dr. Moosa Yahyazadeh (Ph.D. 2021; currently a formal verification engineer at Apple Inc.)

Mitziu Echeverria (Ph.D. candidate, The University of Iowa)

Muhammad Hammad Mazhar (Ph.D. candidate, The University of Iowa)

Joyanta Debnath (Ph.D. candidate, The University of Iowa)

Muhammad Daniyal Pirwani (Ph.D. candidate, The University of Iowa)

Course taught or planned