Reviewer

I have been reviewer at some prestigious formal methods conferences:

1. 1. 1. 1. 1. 1.  The 25th International Conference on Formal Engineering Methods (ICFEM 2024)

               2. 10th International Joint Conference on Automated Reasoning (IJCAR 2020) 

               3. 10th International conference on Interactive Theorem Proving (ITP 2019)

               4. 2nd International Conference on Communication, Computing and Digital systems (C-CODE 2019)