Frank Zeyda (Dipl.-Inform. BSc PhD) feels at home in both the world of academia and industry. He has made substantial contributions to academic research in the field of Formal Methods (FM) and Semantic Foundations of Modeling and Programming on EPSRC, EC and DARPA-funded projects in the UK/EU/US, while also working for several years in industry to apply formal techniques to real-world verification and testing of safety-critical avionic systems, under stringent certification standards such as DO-178C. Currently, he works as an independent consultant for Galois, Inc. and Free & Fair. In Guadalajara, he moreover organizes meet-ups of Embedded Systems Geeks (ESG) group.