Projects

A. Project Title: Logical Correctness for Batteryless Internet of Things.

• Research Area: Internet of Things and Formal Verification

• Principal Investigator: Dr. Biswajit R Bhowmik

• Funding Agency: Science and Engineering Research Board under Start-up Research Grant (SERB-SRG) Scheme, Bharat Sarkar.

• Budget: 20,01,090 INR.

• Duration: Two Years [2022-2024]

• Project Staff: One JRF

B. Call For: Interested students (UG, PG) in CSE/IT/ECE who wish to contribute as a Project Intern or as a part of their Final Year UG/PG Project Work can drop a mail to me on the Email-Id: bricslab [AT] nitk [DOT] edu [DOT] in