Aaron D. Jaggard
Aaron D. Jaggard
email: adj || dimacs | rutgers | edu
I'm currently in the Formal Methods Section of the Center for High Assurance Computer Systems at the Naval Research Laboratory.

email: firstname.lastname || nrl | navy | mil