Rachid Echahed

Rachid Echahed

CNRS Researcher in Computer Science

CNRS and Université Grenoble Alpes, France

Interests
  • Graph and Term Rewriting
  • Program Verification
  • Multiparadigm Programming