SpencerCBrown

Cybersecurity Researcher / Software Engineer at GTRI. Areas of interest: PL Design, Formal Verification, Embedded Security, Operating Systems

Company:Georgia Tech Research InstituteLocation:Atlanta, Georgia U.S.

Pinned Repositories

SpencerCBrown's Repositories