Charles B. is currently a PhD student at CEA-List, University Paris-Saclay, with a focus on formal verification research. Prior to this role, Charles B. served as a research assistant at Chennai Mathematical Institute from July 2017 to January 2021, and held research internships at Tata Research Development & Design Center in 2016 and a summer internship at Tata Consultancy Services in 2013, concentrating on machine learning and pattern recognition. Charles B. holds a Master’s Degree in Theoretical Computer Science from Chennai Mathematical Institute and a Bachelor of Technology in Computer Science from IIIT Nuzvid, with ongoing doctoral studies at Universite de Lorraine from 2021 to 2024.
This person is not in the org chart
This person is not in any teams
This person is not in any offices