Panel Session, 6th Logic Mentoring Workshop (co-located with LICS 2021), online
I was a panellist at the 6th Logic Mentoring Workshop, speaking to research students about my research-in-industry career after PhD as a R&D Researcher at Keysight Technologies: more details here.
Talk, School of Informatics, University of Edinburgh, Edinburgh, UK
Invited talk I gave together with my manager Colin Arthur about Keysight Labs and our automata-based digital-triggering system.
Conference proceedings talk, TACAS 2016 (ETAPS), Eindhoven, The Netherlands
I presented our paper on polynomial-time reduction techniques for Tree Automata: link to paper