Omar Chowdhury

Omar Chowdhury
Associate Professor

Department of Computer Science
Room TBA
Stony Brook, NY 11794-2424

omar [at]


Computer Security, Privacy, Formal Methods, Automated Reasoning


Omar was a post-doctoral research associate at Cylab, Carnegie Mellon University (Host: Prof. Anupam Datta) and Purdue University (Host: Prof. Ninghui Li). He received his 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). He received his undergraduate education in Computer Science and Engineering (CSE) at the Bangladesh University of Engineering and Technology (BUET).


Omar's research interest lies in Computer Security and Privacy. Broadly, He is interested in applying techniques from formal verification and runtime monitoring in achieving provable security and privacy assurances of modern systems and protocols. He is also interested in applying formal verification and software engineering techniques to automatically detect functional bugs in network protocols and safety-critical cyber-physical and IoT systems.