Dr Sreepriya G
Sreepriya is a Daphne Jackson Fellow at The University of Edinburgh in the School of Informatics. After studying mathematics at the Indian Institute of Technology and Computer Science at the University of Cambridge, Sreepriya went on to do her PhD in automated reasoning at The University of Edinburgh.
Returning to research after a seven year break and due to finish in 2023, Sreepriya’s project in entitled: Verification of machine learning algorithms using symbolic logic.
Her Fellowship is sponsored by The University of Edinburgh and the Engineering and Physical Sciences Research Council (EPSRC).
Please see here for a more detailed case study about Sreepriya.