Dana Miller

Dana Miller is the Head of Field Engineering at AdaCore. She leads a team of engineers that provides customer education and support for the Ada and SPARK languages, and for the AdaCore ecosystem. In a previous life, she worked in embedded software development and systems engineering for rotary aircraft.