Research
Research Interests
- Adversarial Machine Learning in Compter-Aided-Design
- Hardware Security
- Fuzz Testing
- Formal Verification
Professional Activities
Sub-reviewer (Conferences): VDAT 2019, SV-COMP 2019, DAC 2020, ETS 2020, ESWEEK 2020, ITC 2020, ICCAD 2020, IOLTS 2020, MLCAD 2020.