Basavesh Ammanaghatta Shivakumar is a graduate student at Purdue University (USA) and received his Bachelor’s in Computer Engineering from National Institute of Technology Karnataka, Surathkal (India). He is currently working under the supervision of Professor Z. Berkay Celik. His research interests include Operating Systems, System Security and applications of formal methods in security.


  • Operating Systems.
  • Systems Security.
  • Reliable Computing.


  • M.Sc in Computer Science, 2020

    Purdue University

  • B.Tech in Computer Engineering, 2013

    National Institute of Technology Karnataka