Skip to main content

Rajarshi Roy

Personal photo - Rajarshi Roy

Rajarshi Roy

Research Associate

Room 450, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Interests

I am interested in bridging two core areas of computer science: formal methods (FM), which offers rigorous frameworks to formally reasoning about systems, and artificial intelligence (AI), which enables the development of intelligent systems. By integrating these areas, my overarching goal is to make systems not only safer but also more interpretable. More specifically, I am interested in the interplay of FM and AI in answering the following research questions: (i) how to enable integration of formal logic into AI systems; and (ii) how to ensure the reliability of AI systems through formal verification. For further details, check out my personal home page.

Biography

I am a Postdoctoral Research Associate at the University of Oxford, UK. Prior to this, I completed my doctoral studies at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. Before that, I earned my master's degree in Computer Science and my bachelor's degree in Mathematics and Computer Science from the Chennai Mathematical Institute (CMI) in India.

Projects

Supervisor