New position at Code Metal

After 9 years at NASA LaRC, I have accepted a new position as Principal Research Scientist at Code Metal. Here I will be integrating formal methods techniques to improve the quality and reliability of transpiled code for edge computing applications.