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.