University of Texas at Austin

Department Member, Computer Sciences

Undergraduate Alumnus

Thesis Title: Formal Verification of LabVIEW Programs Using the ACL2 Theorem Prover

Supervisor: J Strother Moore

Contact Information

Email:

Homepage: http://www.reitblatt.com