User:Mark Reitblatt

The account of this former contributor was not re-activated after the server upgrade of March 2022.

I am currently an Honors Computer Science and Mathematics undergraduate at the University of Texas at Austin. In my Junior year, I am doing research in the application and development of formal methods. Specifically, I am doing work on using the ACL2 theorem prover to verify properties of the Labview programming language. I am currently employed as a part-time intern by National Instruments (makers of Labview) to do this research.