NIT Meghalaya



Dr. Rajarshi Ray

Assistant Professor

Ph.D. in Computer Science, Verimag, University of Grenoble, France.

M.Sc. in Computer Sc. Chennai Mathematical Institute.





Research Interest

  • Formal Methods in Systems Design and Verification
  • High Performance Computing


International Journals:

  • B. Nongpoh, R. Ray, S. Dutta, A. Banerjee, AutoSense: A Framework for Automated Sensitivity Analysis of Program Data, IEEE Transactions on Software Engineering, Vol.-To appear, 2017.

International Conferences:

  • A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, Parallel Reachability Analysis for Hybrid Systems, MEMOCODE, Period -Nov 18-20, Place -IIT Kanpur, India, 2016.
  • R. Ray, A. Gurung, Parallel state space exploration of linear systems with inputs using XSpeed., ACM International Conference on Hybrid Systems: Computation and Control, Period -April 2015, Place -Seattle, USA, Page -285-286, 2015.
  • Rajarshi Ray, Amit Gurung, Parallel State Space Exploration of Linear Systems with Inputs Using XSpeed, Hybrid Systems: Computation and Control, Period -April 2015, Place -Seattle, Page -285-286, 2015.
  • Pooja Roy, Rajarshi Ray, Chundong Wang, and Weng Fai Wong, ASAC: Automatic sensitivity analysis for approximate computing, Languages, Compilers and Tools in Embedded Systems, Period -May 2014, Place -Edinburgh, United Kingdom, Page -95-104, 2014.


Sl No. Author Name Title Publisher ISBN No Pages Year
1 R. Ray, A, Gurung, B. Das, E.Bartocci, S. Bogomolov, R. Grosu XSpeed: Accelerating Reachability Analysis on Multi-core Processors LNCS, Springer 978-3-319-26286-4 3-18 2015

Courses Taught

Previous/Other Semester/Year
  • Data Structures, Autumn Semester, 2015
  • Mathematical Foundations Of Computer Science, Autumn Semester, 2015
  • Software Engineering, Spring Semester, 2016
  • Principles of Program Analysis, Spring Semester, 2016

Students Supervised/Supervising

  • Ph.D
  • Mr. Amit Gurung, Ph.D, Parallel State Space Exploration of Hybrid Systems, 2014 onwards
  • Mr. Bernard Nongpoh, Ph.D, Static and Dynamic Program Analysis for Approximation Computing, 2015 onwards
  • M.Tech
  • Binayak Das, M.Tech, Vertex Enumeration and Linear Program Solver in GPU, 2015-2016
  • B.Tech
  • Ashutosh Kumar, B.Tech, Automated Validation and Code Generation from Source Model Representations, 2014-2015
  • Ramanuj Bhattacharya, B.Tech, Automated Validation and Code Generation from Source Model Representations, 2014-2015
  • Mritunjay Pandey, B.Tech, Program Branch Coverage using Source Code Instrumentation, 2014-2015


Sl No. Title of Project PI CO-PI Funding Agency Sanctioned Amount StartYr - EndYr (Duration) Status Project Type
1 Parallel Model Checking of Hybrid Systems Dr. R. Ray None DST-SERB Rs. 21 Laks 2016-2019 Ongoing Sponsored

Work Experience

  • Research Engineer at Verimag Research Laboratory, Grenoble, France.
    Work involved learning methods and tools for engineering reliable software for scientific computing.
  • Post-doctoral Researcher at National University of Singapore, Singapore.
    Work involved independent research on GPU and approximate computing.
  • Assistant Professor at NIT Meghalaya.

    Teaching and Research in Computer Science. Administration and development of the department of Computer Science and Engineering.


Sl No. Committee Name Contribution Description Duration
1 Department Advisory Committee Chairman Taking Decisions for the Computer Science and Engineering Department Related to its Academic Programmes and Other Activities 2014 onwards
2 Department Research Committee Chairman Taking Decisions Related to the Computer Science and Engineering Department Research Activities 2014 onwards
3 Selection Committee for B.Tech. Free Studentship Member Screening Candidates Eligible for Free Studentship 2014 onwards
4 Academic Programme Committee Member Formulating Curriculum Structures, Proposing New Academic Programmes 2014 onwards
5 Academic Probation Committee Chairman of CSE Dept. Monitoring Status of Students Under Probation 2014 onwards
6 Planning and Preparation Committee for Shifting to the Permanent Campus Member Looking after the Modalities of Shisting to th Permanent Campus 2015-2016

Conference/Symposium/Workshop/Seminar Organised


Sl No. Title Sponsors National/International Duration Role Played
2 EDCAV 2016 DST-SERB, NIT Meghalaya International Jan 2015 Co-Convenor


Sl No. Title Sponsors National/International Duration Role Played
1 NMEICT Awareness Workshop MHRD National September 2015 Co-ordinator

Conference/Workshop/Seminar Attended


Sl No. Name Period Place National|International
1 Languages, Compilers and Tools in Embedded Systems June 2014 Edinburgh, United Kingdom. International
2 Haifa Verification Conference November 2015 IBM Research Labs, Haifa, Israel. International
3 International Conference on VLSI Design January 2016 Kolkata International


Sl No. Name Period Place National/International
1 Indo-German Workshop on Algorithms March 2015 ISI, Kolkata International
2 Mypore Park Workshop on Trends and Challenges in Quantitatve Verification February 2016 Mysore Park, Infosys Mysore International

Professional Membership

Sl No. Name Member ID Category Validity
1 ACM 6100096 Professional 1 Year

Invited Talks

Sl No. Title Event Invited Talks/Tutorial Co-Speakers
1 ASAC: Automated Sensitivity Analysis for Approximate Computing Formal Methods Update Meet, June 2014, IIT Kharagpur Invited Talk Researchers in Formal Methods in Industry and academia
2 Breadth First Search and Its Parallelization KIC TeQip Short Term Course on Centralized and Distributed Graph Algorithms, May 2016, IIT Guwahati, Invited Talk Faculties from IIT Guwahati and ISI Kolkata
3 Parallel State Space Exploration of Hybrid Systems in XSpeed Schloss Dagstuhl Seminar, Dec 2016, Wadern, Germany. Invited Talk Researchers from International Institutes/Universities

© 2014 NIT Meghalaya, Laitumkhrah, Shillong-793003, Meghalaya, India