July 28, 2015
Andy Abbate, PhD candidate in BIOMED (Advisors: A. Throckmorton and E. Bass), received to present the paper titled, "Using Computational Tree Logic Methods to Analyze User Documentation Navigation: A Formal Reachability Approach" at the 59th Annual Meeting of the Human Factors and Ergonomics Society on October 26–30, 2015 in Los Angeles, CA. Andy is also being considered for the Distinguished Chapanis Award for the Best Student Paper/Presentation.