Presenter Full Program · Contributors · Organizations · Search ProgramOlivia Claire Rose KingUniversity of VirginiaPresentationsPosterPrecision in Practice: A Formal Verification Method of Hygiene Behaviors in Anesthesia Induction5:30pm - 6:30pm PDT Wednesday, October 21st Summit PavilionCommittee RolesHuman Performance Modeling Reviewer