Binod Kumar

Hi, I am working as an Assistant Professor in Electrical Engineering department at IIT Jodhpur (IITJ). You can reach me at binod@iitj.ac.in

Office Location: Room No.- PHY 209 (1st Floor), Physics Building (adjacent to Electrical Engineering building), IIT Jodhpur

Broad Research Interests: Hardware Design for AI, VLSI CAD & EDA, Reconfigurable Computing (FPGA-based system design), Formal and Semi-formal Design Verification, Hardware Security and Trust

I have received Ph.D. (alongwith Masters) in Electrical Engineering from Indian Institute of Technology Bombay (IITB). Before Joining IITJ, I spent ~2 years at Qualcomm India working in test and debug strategy development for some of the most advanced and complex chipsets of the industry. I have a Bachelor of Technology degree in Electronics & Communication Engineering (ECE) from National Institute of Technology Silchar (NITS).

Course(s) Taught/Teaching:

• July-Nov 2021: Formal Verification, Engineering Realization (Embedded Hardware Component)
• Jan-May 2022: Embedded Systems, Digital Systems Laboratory, VLSI Testing, High Level Synthesis (jointly with other colleagues)
• July-Nov 2022: Formal Verification
• July-Nov 2022 (Visiting Faculty @NRTI Vadodara): Introduction to Electrical & Electronics Engineering, Electronic System Design: Analog Electronic Devices
• Jan-May 2023: Embedded Systems, Digital Systems Laboratory, Hardware-software Co-design
• July-Nov 2023: Formal Verification, Digital ASIC Design Lab
• Jan-May 2024: Embedded Systems, Digital Systems Laboratory, Hardware-software Co-design, Hardware Design for AI

Other information: LinkedIn

Updates:

• Apr 24: Received Qualcomm Faculty Award to work on top-notch DfT problems.
• Jan 24: Patent granted (design bug localization)
• Aug 23: Paper accepted at ATS-2023: A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design [Work done with Anshul Jain (Intel)]
• July 23: Delivered an expert talk in Karyashala workshop on AI/ML Algorithms and Applications in VLSI Design and Technology at DAIICT, Gandhinagar.
• MTech student Sourav placed in IBM hardware EDA R&D.
• June 23: Temporary Job opening
• Mar. 23: BTech. students (Chirag and Aryan) begin 3-month long virtual internship at IBM for hardware debug enhancement
• Nov. 22: Temporary Job Opening for SERB-funded project
• Oct. 22: Paper titled "Network-on-Chip Trust Validation using Security Assertion" accepted at Springer Journal of Hardware and Systems Security (HASS). Collaborative work with Prof. Mishra (Univ. of Florida).
• September 2022: SERB-funded project on "Specification-guided Design of Intelligent, Secure and Dependable Hardware Architectures for Edge Computing Applications" approved.
• September 2022: Paper "Blood Pressure Estimation from ECG Data Using XGBoost and ANN for Wearable Devices" accepted at ICECS 2022 Congratulations to Sourav (MTech. student).
• August 2022: Temporary Job opening (extendable upto 20 months) in funded project.
• August 2022: ATS-2022 paper accepted (Deep Learning-assisted Scan Chain Diagnosis with Different Fault Models during Manufacturing Test). Congratulations to Sourav (MTech. student) and Utsav Jana (Intel).
• May 2022: Funded research project on "Development of Hardware Trojan Testing Methodology" approved. Funding agency: SAG (DRDO)
• April 2022: Talk given at IIT Tirupati on "Hardware Design for AI"
• March 2022: IEEE TCAD paper (Aries: A Semi-formal Technique for Fine-grained Bug Localization in Hardware Designs) accepted
• Jan 2022: Invited paper (Hardware Accelerator Design for Healthcare Applications: Review and Perspectives) accepted at ISCAS-2022

Projects (Design Credits or Course) done by undergrduate students under my supervision are maintained at here

• Honorable mention (4th prize out of 100+ teams worldwide) in ICCAD-2018 design contest challenge
• “Excellence in Research Award” nomination for Ph.D. thesis work
• “Excellence in Teaching Assistantship” award for undergraduate course Microprocessors at IIT Bombay

• Technical Program Committee (TPC) member in Asian Test Symposium (ATS) -2020, 2021, 2022
• TPC member in Design Automation Conference (DAC) -2022, 2023