Presenter Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening NowMore…Search ProgramMy ScheduleHappening NowJonathan AndreasenGeorgia Tech Research InstitutePresentationsACM Student Research Competition: Graduate PosterACM Student Research Competition: Undergraduate PosterDoctoral ShowcasePostersParallel Verification of Neural Networks Applied to Medical Imaging TP XO/EX