Abhishek N. Kulkarni
Home
Research
Publications
Teaching
Talks/Presentation
CV
Software
ggsolver
prefltlf2pdfa
Decoy Allocation
FormalTicTacToe
Projects Overview
To be updated…
On-going Projects
I am currently working on the following projects.
1. IGLSynth
Previous Projects
1. Curio: Autonomous Mobile Robot (that looks like a Batmobile!)
2. Formal Tic-Tac-Toe