Mark has over 25 years of experience in software development tooling, operating systems, virtualization and networking technology in high-integrity, safe and secure, embedded and real-time systems. He has worked on projects building automotive, networking, aerospace and defense and industrial devices in North America, Europe and Asia. As Head of Technical Marketing at AdaCore he drives the narrative that crosses the chasm between technical capabilities and business value. Mark is a frequent author and speaker on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification. Prior to joining AdaCore, Mark worked for CodeSecure (formerly GrammaTech), Wind River Systems, Zeligsoft and IBM Rational. He holds a Master of Science degree in Computing Science from Eindhoven University of Technology.