Frank Zeyda (Dipl.-Inform. BSc PhD PgCLTHE) feels at home in both the world of academia and industry. He has made sustained contributions to academic research in the field of Formal Methods (FM), Semantic Foundations of Programming, and Automated Theorem Proving on EPSRC/EC/DARPA-funded projects 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, PBC. In Guadalajara, he moreover organizes meetups of the Embedded Systems Geeks (ESG) group.