Voluntary Professional Service

Standards Committees and Working Groups

SAE Aerospace Council

• Member, G-34 Artificial Intelligence in Aviation Committee
• Liaison, S-18 Aircraft System Development and Safety Assessment Committee

IEEE Standards Association

• Member, IEEE Software and Systems Engineering Standards Committee
• Member, IEEE Functional Safety Standards Committee

Safety Critical Systems Club (SCSC)

• Member, Assurance Case Working Group
• Member, Safety of Autonomous Systems Working Group

Conference and Workshop Organization

• Program Manager, IEEE International Symposium on Software Reliability Engineering (ISSRE) 2024, Tuskuba, Japan
• Session Chair, AIAA/IEEE Digital Avionics Systems Conference (DASC) 2023, Barcelona, Spain
• Fast Abstracts Chair, ISSRE 2023, Florence, Italy
• Finance, Website, Local Arrangements Chair, IEEE/ACM Conference on Automated Software Engineering (ASE) 2013, Palo Alto, CA, USA
• Co-chair, International Workshop Series on Assurance Cases for Software-intensive Systems (ASSURE)

Conference and Workshop Technical Program Committees

International Symposium on Software Reliability Engineering (ISSRE)

• Research PC Member, Industry PC Member, ISSRE 2023, Florence, Italy
• Research PC Member, Industry PC Member, Distinguished Industry Reviewer, ISSRE 2022, Charlotte, NC, USA
• Research PC Member, Industry PC Member, ISSRE 2021, Virtual, and Wuhan, China
• Research PC Member, ISSRE 2020, Virtual, and Coimbra, Portugal
• Research PC Member, ISSRE 2019, Berlin, Germany
• Research PC Member, ISSRE 2018, Memphis, TN, USA

International Conference on Computer Safety, Reliability, and Security (SAFECOMP)

• PC Member, SAFECOMP 2024, Florence, Italy
• PC Member, SAFECOMP 2023, Toulouse, France
• PC Member, SAFECOMP 2022, Munich, Germany
• PC Member, SAFECOMP 2021, Virtual, and York, UK

Annual AAAI Conference on Artificial Intelligence (AAAI)¹

• PC Member, AAAI 2024 Special Track on Safe, Responsible, and Robust Artificial Intelligence (SRRAI), Vancouver, BC, Canada
• PC Member, AAAI 2023 Special Track on Safe and Robust Artificial Intelligence (SRAI), Washington D.C., USA
• PC Member, AAAI 2023 Workshop on Artificial Intelligence Safety (SafeAI 2023), Washington DC, USA
• PC Member, AAAI 2022 Workshop on Artificial Intelligence Safety (SafeAI 2022), Vancouver, BC, Canada

International Joint Conference on Artificial Intelligence (IJCAI)

• PC Member, IJCAI 2024 Joint Workshop on Artificial Intelligence Safety (AISafety 2024), Jeju, South Korea
• PC Member, IJCAI 2023 Joint Workshop on Artificial Intelligence Safety (AISafety 2023) and Safe Reinforcement Learning (SafeRL 2023), Macau, China
• PC Member, IJCAI-ECAI 2022 Workshop on Artificial Intelligence Safety (AISafety 2022), Vienna, Austria
• PC Member, IJCAI 2021 Workshop on Artificial Intelligence Safety (AISafety 2021), Virtual
• PC Member, IJCAI-PRICAI 2020 Workshop on Artificial Intelligence Safety (AISafety 2020), Virtual

International Conference on Software Engineering (ICSE)

• PC Member, ICSE 2024 - New Ideas and Emerging Results (NIER) Track, Lisbon, Portugal
• PC Member, ICSE 2012 Workshop on Software Engineering for Embedded Systems (SEES 2012), Zurich, Switzerland

European Dependable Computing Conference (EDCC)

• PC Member, EDCC Workshop on Safe Autonomous Systems (SafeAutonomy 2024), Leuven, Belgium
• PC Member, EDCC Workshop on Dynamic Risk Management for Autonomous Systems (DREAMS 2022), Zaragoza, Spain
• PC Member, EDCC Workshop on Dynamic Risk Management for Autonomous Systems (DREAMS 2021), Munich, Germany

NASA Formal Methods (NFM) Symposium

• PC Member, NFM 2016, Minneapolis, MN, USA
• Reviewer, NFM 2012, Moffett Field, CA, USA

International Conference on Logic Programming (ICLP)

• PC Member, ICLP 2023 Workshop on Safe and Trustworthy Artificial Intelligence (STAI 2023), London, UK

Dependable Systems and Networks Conference (DSN)

• PC Member, DSN 2017 Workshop on Recent Advances in the Dependability Assessment of Complex Systems, Denver, CO, USA

Innovations in Software Engineering (ISEC)

• PC Member, ISEC 2024, Bangalore, India