Professional Activities

Journal Referee

I review for the following journals:

  • IEEE Transactions on Computers
  • International Journal on Software Tools for Technology Transfer, Springer
  • ACM Transactions on Design Automation of Electronic Systems
  • Formal Methods in System Design, Springer
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems

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)