Scholar

Dr. Raju Halder

Google Scholar ID: mA0HQJEAAAAJ

Associate Professor, Indian Institute of Technology Patna

Formal MethodsProgram Analysis and verificationRoboticsBlockchain and Smart ContractSafety

Citations & Impact

All-time

Citations

908

H-index

i10-index

Publications

Co-authors

list available

Contact

No contact links provided.

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Co-authors

28 total