Dan has more than 30 years experience developing real-time embedded avionic systems on military and commercial aircraft. The past 5 years, as a member of the Advanced Technology Center, he has focused on transitioning technologies from research to application. In the field of formal methods, the focus has been on transitioning systems engineering technologies from research to application on real-world avionic systems. He is been the principal investigator on the DARPA System of Systems Integration Technologies and Experimentation (SoSITE) program applying compositional verification to system-of-systems domains. He was also a principal investigator on the AMRDEC Joint Multi-Role Technology Demonstrator (JMR TD) Architecture Implementation and Process Demonstrations (AIPD) program applying model-based systems engineering with formal methods analyses to future rotary wing platforms.