Conference Referee

I have been a reviewer for the following conferences:

  • Int. Conf. on Computer Design (ICCD)
  • AAAI Conf. on Artificial Intelligence (AAAI)
  • Design Automation Conference (DAC)
  • Int. Conf. on Computer-Aided Design (ICCAD)
  • Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  • Int. Conf. on Automated Software Engineering (ASE)
  • Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  • Annual NASA Formal Methods Symposium (NFM)
  • Int. Conf. on Software Engineering and Formal Methods (SEFM)