Experienced Software Engineer with expertise in backend development, system design, large-scale projects, DevOps tools, and performance optimization. Skilled in cross-functional collaboration to deliver scalable, high-impact solutions and improve development efficiency.
Verification of KPN transformation using ADDG, Kharagpur, India, 07/2019, 07/2020
Implemented verification methods and ADDG-based equivalence checking to validate Kahn process networks' transformation techniques in embedded systems, significantly reducing time complexity compared to previous methods while ensuring equivalence between original and transformed networks.
Thesis Paper - https://tinyurl.com/thesis-mtp-kpn