Back fulfilling her career aspirations in computer science and artificial intelligence research.

Sreepriya is returning to computer science and AI research after nearly seven years away from active research with a Daphne Jackson three-year Fellowship sponsored by the University of Edinburgh and the Engineering and Physical Sciences Research Council (EPSRC).

With a strong Informatics, Mathematics and Computer science background, specifically in symbolic logic based automated reasoning (AR), in an academic and industrial context, Sreepriya is hoping her Fellowship will re-establish her career in the field of artificial intelligence (AI), after a break taken to care for her young daughter and relocation due to her husband’s employment.

Building on Sreepriya’s PhD and previous career history in AR, Sreepriya’s Fellowship project is exploring the opportunities of using AR to provide behaviour guarantees and explanations for the decisions made by machine learning (ML) and AI systems, with the aim to help learn more about the key components of intelligent behaviour.

My Fellowship is enabling me to retrain in the fast-moving world of Artificial Intelligence (AI) and Machine learning (ML) technology and research and establish myself as a leader in my field of research. It is very empowering to be given this retraining opportunity, allowing me to apply my past research training, expertise and experience to a hugely relevant application domain – to verify and explain the decisions made by AI/ML systems.  I am hugely passionate about my research project and intend to work very hard to make the best use of this incredible opportunity. 

• Fellowship started in 2020
• Fellowship hosted by University of Edinburgh
• Fellowship sponsored by University of Edinburgh and The Engineering and Physical Sciences Research Council (EPSRC)
• Supervisor: Prof David Aspinall, School of Informatics, University of Edinburgh
• Project title: Verification of machine learning algorithms using symbolic logic