Dr. Auguston’s research interests encompass programming language design and implementation, real-time and reactive software testing and debugging automation and safety assessment tools, software and system architecture formal specification and validation, and visual programming languages. He has more than 40 years of experience in these areas and has published more than 120 papers in refereed journals, conferences, and workshop proceedings. He was PI and Co-PI in projects funded by NSF, NASA, U.S. Army Research Office, U.S. Naval Research Office, U.S. Missile Defense Agency, USMC ...