Software Engineer
Alameda, CA
Google
Intrinsity
Formal Verification Consultant
Averant
Principal Architect
University Of California - Berkeley
Howard University