Verification of a P4 Switch

We try to answer the following question: “Is it possible to detect abnormal behavior in a P4 switch and take corrective measures?”

Learn More

Verification of P4 Networks

We try to answer the following question: “Is it possible to detect control-data plane inconsistency in P4 networks?”

Learn More

Verification of SDNs

We try to answer the following question: “Is it possible to detect and localize control-data plane inconsistency in SDNs?”

Learn More

Research Interests

I am interested in topics surrounding modern network architectures (On-prem and cloud) including zero trust, monitoring and verification in Software-defined networks (SDNs) and Programming Protocol-independent Packet Processors (P4) networks. I help enterprises in their digital transformation journeys including (re)designing networks involving zero trust and modern SaaS solutions alongwith building systems which ensure rigorous monitoring and verification of Cloud, On-Prem, SDNs and P4 networks.

Prior, I was involved in FP7 Integrated European Union Project UNIFY where I contributed to troubleshooting, monitoring and verification of Service Chains in Carrier-Grade Networks. Currently, I am a project leader of project “Verify: Towards Rigorous Verification and Monitoring of Software-defined Networks (SDNs)”. Project Verify is funded by BMBF grant under Software Campus executives development program.

News

Oct’23

I am delighted to join Deutsche Boerse Group as Vice President | Expert Enterprise Network Architect. I look forward to own, define and, simplify the network architecture while embracing modern trends in networking such as Zero Trust, Hybrid cloud design and that too in regulatory compliant fashion.

Jan ’23

June ’22

November ’21

September ’21

July ’21

July ’21

May ’21

Feb ’21

Jan ’21

Dec ’20

Oct ’20

Mar ’20