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)