Frank Zeyda Email & Phone Number

Hi! I am a software engineer/developer, verification expert, and academic/industrial researcher working at the forefront of rigorous software engineering (RDE) for safe, secure, and trustworthy HW and SW systems. My experience includes around eight years of industrial work (in Germany & for the U.S.) as well as 17 years of academic work (in the UK), both as a (senior) research fellow and (senior) university lecturer at a Russell-Group institution. I am currently living in Guadalajara, Mexico offering consultancy, R&D, and HW/SW development services on a contractual basis.A full list of my academic publications is available from here: https://dblp.org/pid/23/6727.htmlIn industry, I predominately worked in the area of verification and testing, using state-of-the-art techniques in model-based testing and static code analysis to satisfy stringent criteria of certification standards such as DO-178C for avionic systems. In academia, I have developed novel verification approaches and tools in several target domains, including Simulink control laws, Safety-Critical Java (JSR-302) and Cyber-Physical Systems with FMI cosimulations. As part of this work, I have contributed to the embedding of (unifying) semantic theories into automatic theorem provers (ATP) such as ProofPower-Z and Isabelle/HOL. I also hold a formal HE teaching qualification and have taught a wide range of CS modules at HE institutions in the UK, related to software engineering, programming paradigms, theory, and mathematical foundations.I am experienced in MBSE/MDD and a variety of programming languages and paradigms, included common imperative and object-oriented ones such as C/C++, Java, Python, and so on, functional programming, e.g., in SML and Scala, and integrated formal verification approaches such Z, the B Method, and CSP / FDR. In addition, I am versed in hardware description languages (Verilog, VHDL, and high-level HDL like Chisel) as well as embedded systems development for MCU / FPGA / SoC. I am currently leading technical efforts in rigorous engineering and design of secure Silicon on a DARPA project (AISS).Please be welcome to contact me if you like to discuss an idea or project. As noted, I can provide specialist services in a variety of areas, including model-based software and systems engineering, software development in a number of target domains and languages, verification and testing, embedded systems, and research and innovation. A CV or resume may be forwarded upon request, including references from previous projects/clients and employers.Have a great day!Frank