Services

  • Reviewer, Journal of Computer Science and Technology, 2021
  • Reviewer, The 15th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021
  • Reviewer, The 10th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL), 2020.
  • Sub reviewer, Computers & Security 2020
  • Sub reviewer, Journal of Experimental & Theoretical Artificial Intelligence, 2020
  • Sub reviewer, The 14th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), 2020
  • Sub reviewer, The 22nd International Conference on Formal Engineering Methods, 2020
  • Sub reviewer, Journal of Experimental & Theoretical Artificial Intelligence, 2020
  • Reviewer, IEEE Transactions on Reliability, 2020
  • Reviewer, The 14th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2020
  • Sub reviewer, The 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020
  • Sub reviewer, The 34th Conference on Artificial Intelligence (AAAI), 2020
  • Reviewer, The 9th International Workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL), 2019.
  • Sub reviewer, The 14th ACM ASIA Conference on Computer and Communications Security (ASIACCS), 2019
  • Sub reviewer, The International Conference on Information Security and Cryptology (INSCRYPT), 2018
  • Sub reviewer, The Annual Conference on Software Analysis, Testing and Evolution (SATE), 2018