I am an assistant professor in the Department of Computer Science at the University of Texas at Dallas. I teach and do research on software engineering and security.
Current Focused Research Areas:
I received my Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 2018, advised by Prof. Carl A. Gunter and Prof. Tao Xie, an M.S. in Computer Science from North Carolina State University in 2013, advised by Prof. Tao Xie, and a B.E. in Software Engineering from Shanghai Jiao Tong University in 2011, advised by Prof. Jianjun Zhao. I was a visiting researcher in University of California, Berkeley, invited by Prof. Dawn Song.
Note: I am looking for students, especially those interested in learning and using program analysis techniques (in analyzing mobile/IoT/blockchain/AI applications). Please drop me an email with your CV/Resume and samples of your work if you know how to hack.
Ph.D. Students
Mirazul Haque (Jan 19-) [CVPR 2020]
Simin Chen (Jan 19-) 1 [FSE 2020]
Zihe Song (Jan 20-) [ICSE SRC 2020] [ICSE 2021]
Yufei Li (Aug 20-)
M.S. Students
Soumil Mandal (September 19-)
Mihir Rane (June 20- )
Parmanand Sahu (June 20- )
Anmol Gautam (June 20- )
Graduated Students
Wasif Haque (M.S. June 19- Dec 2020)
First Employment: Argo Data
Kaiyuan Zhang (M.S. Dec 18 - May 2020)
First Employment: PhD student at Purdue CS
Anki Chauhan (M.S. March 19 - May 2020) [CVPR 2020] [TOSEM 2021]
First Employment: Goldman Sachs, USA
Sampath Grandhi (M.S. March 19 - May 2020) [FSE 2020] [ICSE 2021]
First Employment: Amazon, USA
Externally Co-advised Students
Former Graduate Students
Former Undergraduate Students
Spring 2021, SE 4367.001 - Software Testing Verification Validation and Quality Assurance
Fall 2020, CS/SE 7301.501 - Software Analysis & Security
Summer 2020, CS 4301: Machine Learning in Cyber Security
Spring 2020, CS 6301: Machine Learning in Cyber Security
Fall 2019, CS/CE/SE 3354: Software Engineering
Spring 2019, CS 6301: Machine Learning in Cyber Security
Fall 2018, CS 6332: Systems Security and Binary Code Analysis