Lauren M. White

Dr. White works in the Formal Methods Research team, a part of NASA Langley's Safety-Critical Avionics Systems Branch, developing formal methods tools to aid in the formal verification process of safety critical avionics systems of interest to NASA. Her reseach interests include the application of mathematical concepts related to differential systems, such as problems of solvability or optimization. She recieved her PhD in mathematics from Kansas State University as a student of Anna Zemlyanova.

Publications

• Zemlyanova, A. Y., & White, L. M. (2022). An axisymmetric problem for a patch loaded membrane attached to the surface of an elastic semi-space. Mathematics and Mechanics of Solids, accepted: publish date TBD.
• Slagel, J. T., Muñoz, C., Balachandran, S., Moscato, M., Dutle, A., Masci, P., & White, L. (2022, June). Towards an implementation of differential dynamic logic in PVS. In Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (pp. 44-50).
• Zemlyanova, A. Y., & White, L. M. (2022). Axisymmetric frictionless indentation of a rigid stamp into a semi-space with a surface energetic boundary. Mathematics and Mechanics of Solids, 27(2), 334-347.
• Slagel, J. T., White, L., & Dutle, A. (2021, January). Formal verification of semi-algebraic sets and real analytic functions. In Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 278-290).
• Cowan, R. A., Katz, D. J., & White, L. M. (2017). A new generating function for calculating the Igusa local zeta function. Advances in Mathematics, 304, 355-420.

The tag identifies links that are outside the NASA domain