Registered user since Wed 20 Feb 2019
Name:Raju Halder
Country:India
Affiliation:Indian Institute of Technology Patna
Personal website: https://www.iitp.ac.in/~halder
Research interests:Formal Methods, Blockchain, Programming Languages, Analysis and Verification
Contributions
FM 2026-profile
View general profile
View general profile