Ankit Pradhan

I am a PhD student in the Department of Computer Science at the University of Texas at Austin, advised by Prof. Ken McMillan. I work in Formal Methods and Verification, specifically on Model Checking and SAT/SMT solvers. My previous experience spans topics such as Timed and Probabilistic Model Checking, Runtime Verification and Enforcement, Spiking Neural Networks, Dynamical Systems, Graph Enumeration and Attribute-based Encryption.

Before staring PhD, 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.