Basavesh Ammanaghatta Shivakumar is a Doctoral Student at MPI-SP under the supervision of Gilles Barthe and Peter Schwabe. He obtained his Master’s degree at Purdue University (USA) under the guidance of Berkay Celik and received his Bachelor’s in Computer Engineering from National Institute of Technology Karnataka, Surathkal (India).