Walter Moreira, Ph.D.

Research Associate
Cloud and Interactive Computing

Email: wmoreira@tacc.utexas.edu

Walter Moreira is a mathematician and software engineer.  He previously served at the UT Austin Astronomy Department, TACC, and at Canon Nanotechnologies. He specializes in formal methods, logic, and foundations of mathematics. He is currently leading the Sequencelib project that aims to formalize the mathematics of the OEIS in Lean 4.

Selected Publications

 

Walter Moreira, Joe Stubbs. Sequencelib: A Computational Platform for Formalizing the OEIS in Lean. 2026. https://arxiv.org/abs/2601.11757

Marcelo Aguiar, Walter Ferrer, Walter Moreira. The Heisenberg product: from Hopf algebras and species to symmetric functions. 2017. São Paulo Journal of Mathematical Sciences. Volume 11 Number 2.

Joe Stubbs, Walter Moreira, Rion Dooley. Distributed Systems of Microservices Using Docker and Serfnode (2015). 7th International Workshop on Science Gateways, Budapest, Hungary.

Krishnakumar V, Hanlon MR, Contrino S, Ferlanti ES, Karamycheva S, Kim M, Rosen BD, Cheng CY, Moreira W, Mock SA, Stubbs J, Sullivan JM, Krampis K, Miller JR, Micklem G, Vaughn M, Town CD. Araport: the Arabidopsis Information Portal (2015). Nucleic Acids Res. 2015.

Hanlon, M. R., Vaughn, M., Mock, S., Dooley, R., Moreira, W., Stubbs, J., Town, C., Miller, J., Krishnakumar, V., Ferlanti, E., and Pence, E. (2015) Araport: an application platform for data discovery. Concurrency Computat.: Pract. Exper., 27: 4412–4422

Murphy, Jeremy & Hill, Gary & MacQueen, Phillip & Taylor, Trey & Soukup, Ian & Moreira, Walter & Cornell, Mark & Good, John & Anderson, Seth & Fuller, Lindsay & Lee, Hanshin & Kelz, Andreas & Rafal, Marc & Rafferty, Tom & Tuttle, Sarah & Vattiat, Brian. (2013). The Influence of Motion and Stress on Optical Fibers. Proc SPIE. 8446.

Brandon L. Kaster, Emily R. Jacobson, Walter Moreira, Brandon Paulson, Tracy A.Hammond. SOUSA v2.0: Automatically Generating Secure and Searchable Data Collection Studies(s)

Marcelo Aguiar, Walter Moreira. Combinatorics of the Free Baxter Algebra (2006). Electronic Journal of Combinatorics 13(1).

Ernesto Mordecki, Walter Moreira. Russian Options for a Diffusion with Negative Jumps (2002). Publicaciones Matemáticas del Uruguay (9).

Walter Moreira. Some Comments about the Axiomatic Set Theory (1998). Publication Galileo, second epoch, number 18.

 

Current Projects

  • Sequencelib: A Lean4 library and computational platform to formalize the mathematics of the OEIS.

 

Areas of Research

  • Formal Methods
  • Cloud Computing and Distributed Systems