RC

Ramanuj Chouksey

Vellore Institute of Technology University, Indian Institute of Technology Guwahati, Samrat Ashok Technological Institute

Research areas: Computer Science · Hardware and Architecture · Embedded Systems Design Techniques · Formal Methods in Verification · Logic, programming, and type systems

ORCID iD 0000-0003-1565-8588

Employment

Education

Projects & Funding

Projects & funding information is unavailable.

Publications (2)