Pankaj kumar

UPI (Unified Payments Interface) is a payment system launched by National Payments Corporation of India which facilitates instant fund transfer between two bank accounts on a mobile device. I developed and stabilized PAY flow for Amazon issued handles. I also designed and implemented backend for transaction history of UPI.

Certus is high end FPGA debugging tool which allows capturing and visualizing the probed signals directly through hardware. I worked over waveform-dumping modules to generate desired formats from raw data. I also worked on snapshot feature, which was to bring out values of all the cells from FPGA at some point of time. Also designed and developed streaming to improve the frequency of dumps.

Division- Incisive Formal Verification (IFV and Jasper) IFV and Jasper are high capacity bug finding formal tools. In IFV, I primarily worked for multi-property and multi-engine distribution flows and their support over LSF and SGE platforms. Post Jasper acquisition, I worked over integration of IFV front-end into Jasper to provide a unified tool to customers.

Developed scripts to automate the systems within lab and field setups. Designed and developed a centralized log server for central and remote nodes. Also designed web UI to allow user to view those logs in a friendly manner with capability to sort and search over them like text-based query, pagination and various filters based on date, time, severity and user.

Data Structures, Algorithm Design, Operating System, Databases, Computer Network, Computer Architecture, Theory of Automata and formal languages.