Abhishek N. Kulkarni


Ph.D. Student,
Electrical and Computer Engineering,
University of Florida,
Gainesville, FL, USA.

Email: a.kulkarni2@ufl.edu

Profiles: [Github] [LinkedIn] [Twitter] [Google Scholar] [ResearchGate]

Research Interests

I am presently exploring the use of formal methods and automated reasoning to synthesize strategies for autonomous agents capable of deception.

My focus areas are:

  • Reactive Synthesis

  • Automated Reasoning

  • Game and Hypergame Theory

  • Applications: Cybersecurity, Robot Motion Planning

Please visit my research and publications page for detailed information about my ongoing research.


I am a fourth-year MS/PhD candidate in Electrical and Computer Engineering department at University of Florida (UF). I transferred to UF from the Robotics Engineering department at Worcester Polytechnic Institute (WPI). I earned my B.Tech. degree in Electronics and Telecommunications Engineering from Vishwakarma Institute of Technology (VIT), Pune, India in 2016. At VIT, I founded the Cognitive Robotics and Intelligent Systems Lab (CRISTL), which was the first lab on campus to use an integrated cognitive science, machine learning and logic-based AI approach to design intelligent robots. While conducting research and teaching at CRISTL, I was intrigued by the question about How to design an intelligent robot which can reason autonomously and, most importantly, in a provably-correct way? The quest to answer this question brought me to WPI, where under the guidance of Prof. Jie Fu, I am exploring the formal methods approach (a logic-based AI approach) to allow autonomous agents to not only reason in a provably-correct way but also use advanced behaviors like deception to their advantage. At WPI, I am a member of A&S Graduate Student Advisory Council and also represent my department in the Graduate Student Government (GSG).


  • [Aug. 2021] I am now a PhD student at ECE department at University of Florida.

  • [June 2020] A book chapter A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense with Deception is accepted to be published in the book Game Theory and Machine Learning for Cyber Security.

  • [June 2020] Our paper titled Deceptive Labeling: Hypergames on Graphs for Stealthy Deception is accepted in L-CSS. Paper is available on IEEEXplore.

  • [June 2020] I gave a short talk (video, paper) at Foundations of Computer Security (FCS) Workshop at CSF 2020.