cv

Basics

Name Ratnangshu Das
Label PhD Student, Prime Minister’s Research Fellow
Email ratnangshud@iisc.ac.in
Phone +91 8017610875
Url https://ratnangshu-das.github.io
Summary I am a Prime Minister’s Research Fellow at the Robert Bosch Centre for Cyber-Physical Systems (RBCCPS), Indian Institute of Science (IISc) Bangalore, working in the FOCAS Lab under Prof. Pushpak Jagtap. My research focuses on formal methods and scalable, disturbance-robust control for unknown nonlinear systems under complex temporal logic specifications.

Work

  • 2023.01 - Present
    Prime Minister’s Research Fellow
    RBCCPS, Indian Institute of Science (IISc) Bangalore
    Research on formal methods, spatiotemporal tubes, temporal logic, resilience, and approximation-free control of unknown nonlinear systems.
    • Spatiotemporal Tube (STT)-based Control
    • Symbolic Control for Unknown Systems
    • Temporal Logic Resilience
    • Multi-Agent Systems
  • 2022.06 - 2022.12
    Researcher
    IIT Kanpur – Telemedicine and Medical Robotics
    Worked in the Center of Excellence in Telemedicine & Healthcare Robotics.
  • 2021.05 - 2021.11
    Research Intern
    TU Delft – Cognitive Robotics Department
    Worked on ungrounded force-feedback mechanisms in portable haptic devices.
  • 2020.06 - 2020.09
    Research Intern
    MPI-IS Stuttgart – Haptic Intelligence Department
    Worked on Haptipedia, a database of haptic devices.
  • 2017.12 - 2020.04
    Undergraduate Researcher
    IIT Kanpur – Humanoid Robotics Lab
    Worked on robotics, control, and formal verification.
    • Supervisor: Prof. Indranil Saha

Education

  • 2023.01 - Present

    Bangalore, India

    PhD
    Indian Institute of Science (IISc) Bangalore
    Robotics, Control, Cyber-Physical Systems
  • 2017.01 - 2022.01

    Kanpur, India

    BT-MT Dual Degree
    Indian Institute of Technology (IIT) Kanpur
    Mechanical Engineering
  • 2016.01 - 2017.01
    ISC
    St. Stephen’s School, Kolkata
  • 2014.01 - 2015.01
    ICSE
    St. Stephen’s School, Kolkata

Awards

Skills

Programming & Tools
MATLAB
Python
ROS
Simulink
Maple
LaTeX
Linux
Git
AutoCAD
Inventor
Arduino

Languages

English
Fluent
Hindi
Fluent
Bengali
Native

Interests

Research Areas
Formal Methods
Temporal Logic
Spatiotemporal Tubes
Symbolic Control
Robotics
Multi-Agent Systems

References

Pushpak Jagtap
Assistant Professor, RBCCPS, IISc Bangalore — PhD Supervisor
Sadegh Soudjani
Senior Research Group Leader, MPI-SWS; Professor, University of Birmingham — Research Collaborator
Adnane Saoud
Assistant Professor, UM6P Morocco — Research Collaborator
Christos Verginis
Assistant Professor, Uppsala University — Research Collaborator
Indranil Saha
Professor, IIT Kanpur — Research Collaborator
Bishakh Bhattacharya
Professor, IIT Kanpur — M.Tech Supervisor