Aaron M. Dutle
I am a mathematician turned computer scientist working in the Formal Methods group at NASA Langley Research Center, Hampton, VA.
I earned an undergraduate degree in Mathematics, with a second major in Philosophy, from Northern Kentucky University. I earned a Master's degree in Mathematics from Texas A&M University. I earned my doctorate in Mathematics from the University of South Carolina as a student of Joshua Cooper. After graduation, I remained at the University of South Carolina as a post-doctoral fellow studying complex networks under a multi-institution grant from DARPA . My Erdős number is 2.
My primary interests prior to working at NASA were broadly in the fields of Graph Theory and Combinatorics. More specifically, I enjoy studying spectral properties of graphs and hypergraphs; the relationships between random, pseudo-random, and quasi-random combinatorial structures; computational complexity of graph algorithms and algorithms in general; and the use of graphs to model real-world phenomena.
At NASA, there are two separate but intertwined aims of my research. The first is the development and enhancement of formal methods tools and technologies. The second is the use of formal methods tools for the verification of concepts and software related to safety-critical airspace applications. The development of new and more powerful tools in formal methods allows for more difficult projects to be undertaken, while the needs of the particular projects also steer the direction of the tools that are being developed.
- Aaron Dutle, Bill Kay, Graph odometry, Discrete Applied Mathematics, Volume 214, 11 December 2016, Pages 108-115.
- César Muñoz, Aaron Dutle, Anthony Narkawicz, and Jason Upchurch, Unmanned aircraft systems in the national airspace system: a formal methods perspective, ACM SIGLOG News 3, August 2016, Pages 67-76.
- Anthony Narkawicz, César Muñoz, and Aaron Dutle, Coordination Logic for Repulsive Resolution Maneuvers, Proceedings of the 16th AIAA Aviation Technology, Integration, and Operations Conference (ATIO 2016), AIAA-2016-2756, 2016.
- César Muñoz, Anthony Narkawicz, George Hagen, Jason Upchurch, Aaron Dutle, María Consiglio, and James Chamberlain, DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems, Proceedings of the 34th Digital Avionics Systems Conference (DASC 2015), Prague, Czech Republic, 2015.
- Anthony Narkawicz, César Muñoz, and Aaron Dutle, Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems, Journal of Automated Reasoning, Volume 54, Issue 4, pp. 285-326, 2015.
- Aaron Dutle, César Muñoz, Anthony Narkawicz, and Ricky Butler, Software Validation via Model Animation, Proceedings of the Proceedings of the 9th International Conference on Tests and Proofs (TAP 2015), Lecture Notes in Computer Science, Vol. 9154, pp. 92-108, 2015.
- Éva Czabarka, Aaron Dutle, Travis Johnston, László A. Székely, Abelian Groups Yield Many Large Families for the Diamond Problem, European Journal of Mathematics, Vol. 1, No. 2, Pages 320-328, 2015.
- Joshua Cooper, Aaron Dutle, Computing hypermatrix spectra with the Poisson product formula , Linear and Multilinear Algebra, Vol. 63, No. 5, Pages 956-970, 2015.
- Éva Czabarka, Aaron Dutle, Péter L. Erdős, István Mikloós, On realizations of a Joint Degree Matrix, Discrete Applied Mathematics, Vol. 181, Pages 283–288, Jan 2015.
- Joshua Cooper, Aaron Dutle, Greedy Galois Games, American Mathematical Monthly, Vol. 120, No. 5, Pages 441-451, May 2013.
- Joshua Cooper, Aaron Dutle, Spectra of Uniform Hypergraphs, Linear Algebra and its Applications, Vol. 436, No. 9, Pages 3268-3292, May 2012.
Technical Committee Work
- Member of RTCA Special Committee 228, Minimum Operational Performance Standards for Unmanned Aircraft Systems.
- Member of RTCA Special Committee 186, Automatic-Dependent Surveillance Broadcast.
Conference Committee Work
- Member of the Program Committee for ITP 2017: The Eighth International Conference on Interactive Theorem Proving
- Member of the Organizing Committee, along with Maria Consiglio, Cesar Munoz, Anthony Narkawicz, and Yamira Santiago-Espada, for the 10th NASA formal Methods Symposium (NFM), which will be held in 2018.