## Mathematics

William Severa is a Senior Member of the Technical Staff in the Data-driven and Neural Computing group at Sandia National Laboratories. Currently, he is a researcher on the HAANA Grand Challenge, and his work involves computational neuroscience models of the hippocampus and spiking neural networks. William is particularly interested in mathematically-rigorous neural coding frameworks and accelerating scientific computing on neuromorphic hardware. These interests align with his background in topological dynamical systems and symbolic dynamics. He recently received his PhD in mathematics from the University of Florida where he studied s-adic infimax systems.