Chakradhar Mudium is an experienced Formal Verification Engineer at Apple and previously served as a Graduate Teaching Assistant at the University of Illinois at Urbana-Champaign. Chakradhar Mudium holds a Bachelor of Technology (B.Tech.) in Electrical Engineering from the Indian Institute of Technology, obtained between 2010 and 2014, and furthered education at the University of Illinois Urbana-Champaign from August 2014 to May 2016.