Rajarshi Roy

Employment

• University of Liverpool Postdoctoral Research Associate
  2025 - Present
• University of Liverpool Postdoctoral Research Associate
  2025 - Present
• University of Oxford Postdoctoral Research Associate
  2024 - 2025
• Max Planck Institute for Software Systems PhD student
  2019 - 2024

Education

• Chennai Mathematical Institute Masters in Computer Science
  2017 - 2019
• Chennai Mathematical Institute Bachelors in Mathematics and Computer Science
  2014 - 2017

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
  Journal of Open Source Software 2024 DOI: 10.21105/joss.05052
  +Save
• Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
  2024 DOI: 10.1007/978-3-031-50521-8_13
  +Save
• MaxSAT-based temporal logic inference from noisy data
  Innovations in Systems and Software Engineering 2022 DOI: 10.1007/s11334-022-00444-8
  +Save
• Robust Computation Tree Logic
  2022 DOI: 10.1007/978-3-031-06773-0_29
  +Save
• Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
  2022 DOI: 10.1007/978-3-030-99524-9_14
  +Save