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 fields of Formal Methods (FM), Semantic Foundations of Programming, and Automated Theorem Proving (ATP) on EPSRC/EC/DARPA-funded projects while also working in industry to apply formal techniques to real-world systems, such as 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 meetups of the Embedded Systems Geeks (ESG) group.