Sudheer Kumar Bolleddu

About Sudheer Kumar Bolleddu

As a Graduate Research Assistant at the Trustworthy Engineered Autonomy (TEA) Lab, I am working on Provable Resilience on Visual-Terminal AI guidance and verifying using probabilistic model checking. This project involves developing and testing algorithms to ensure the reliability and security of AI systems in various applications. I also have experience as a Graduate Teaching Assistant at the University of Florida, where I mentored graduate and undergraduate students in the course VLSI 1 and helped with assignments and grading. Additionally, I worked as an Embedded Software Engineer Intern at Innovation Communications Systems, where I contributed to the SDR and MANET protocol called FPRP for dynamic slot allocation. My skills include Digital Design, Simulation verification, formal verification, model checking, and VLSI. I am currently pursuing my Master\'s in Electrical and Computer Engineering at the University of Florida, after completing my Bachelor\'s degree in Electronics and Communications Engineering from JNTUH College of Engineering Hyderabad.

Experience

1. Graduate Research Assistant

   Trustworthy Engineered Autonomy Tea Lab

   Dec 2024 — Present · Gainesville, FL, US

   Working on Provable Resilience on Visual-Terminal AI guidance and verifying using probabilistic model checking

Education

• JNTUH College of Engineering Hyderabad

  Bachelor's degree

  2018 — 2022

• University of Florida

  Masters

  2023 — 2025