MSc George Zakhour will present Propel in a keynote at the Swiss Verification Day 🗣️✔️