Feb 2024 – Jul 2025 · 1 yr 5 mos · Zurich, Switzerland · Remote

May 2023 – Nov 2023 · 6 mos · Zurich, Switzerland · On-site

May 2020 – Aug 2021 · 1 yr 3 mos · Bengaluru, Karnataka, India

May 2019 – Jul 2019 · 2 mos · Zürich, Switzerland

• Worked on the Viper verification infrastructure at the Programming Methodology Group.
• Designed and realised features to the plugin system allowing the usage of customised syntax in the Viper language.

Mar 2019 – Jul 2020 · 1 yr 4 mos · Kharagpur Area, India

• Developed an SDN network flow analysis application for the detection of heavy-hitter flows.
• Developed a framework for the analysis of large-scale network orchestration architectures.

Mar 2017 – Jun 2020 · 3 yrs 3 mos · Kharagpur, India

• We are a group of undergraduate researchers working on developing the first affordable self-driving car in India, for Indian roads.
• As a member of the Motion Planning team, I worked on the implementation and personalisation of the Hybrid-A* algorithm and the Frenet motion planning algorithm.
• As the head of the Software Team, I designed the architecture for inter-module communication among the Vision, Localisation and Motion-Planning modules for the goal-oriented navigation of the robot.