Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowAustin CampbellUniversity of VirginiaPresentationsPoster PresentationPS3 - Clean Hands, Clear Outcomes: A Formal Methods Analysis of Anesthesiology Induction HygieneDigital Health (DH)Simulation and Education (SE)Hospital Environments (HE)Medical and Drug Delivery Devices (MDD)Patient Safety and Research Initiatives (PS)