Shakil Ahmed is a PhD student in the Electrical and Computer Engineering department at the University of Texas at Dallas. He is also working in the Algorithmic Hardware Security Lab at UT Dallas. His current research includes Formal methods in Hardware Security and developing Machine Learning algorithms to assist them.