Ankit Pradhan

This website is under construction

I am a PhD student in the Department of Computer Science at the University of Texas at Austin, advised by Prof. Ken McMillan. With general interests in Formal Methods, Theorem Provers and Artificial Intelligence, my research experience spans various topics, including Model Checking, Runtime Verification and Enforcement, Dynamical Systems, Graph Theory and Attribute-based Encryption.

Previously, I contributed to email security infrastructure at Microsoft in the Security, Compliance, Identity and Management (SCIM) organization. I completed my undergrad in Computer Science at IIT Bhubaneswar.

The best way to reach me is through email. You can also find me on LinkedIn. I’ll try to maintain a list of my publications on this website; however, an up-to-date list is always available on Google Scholar.