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.
- 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,
- 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.
identifies links that are outside
the NASA domain
Safety Critical Avionics Systems Branch
NASA Langley Research Center
Mail Stop 234
Hampton, VA 23681-2199, USA
+1 (757) 864 4234