Hugo Araujo is a research associate and an early-career researcher based at King’s College London currently working with the Verifiability Node within the TAS Hub. His research interests are on verification and validation, cyber-physical systems, and quantum computing. His past work experience includes the mechanisation of formal methodologies and model-based testing strategies of cyber-physical systems that make use of models.