Laboratory for Temporal Logic Ph.D. students Stefan Jaksic and Rohit Dureja, and Prof. Kristin Yvonne Rozier explored the famous Des Moines Winter Market featuring over 130 Iowan farmers and artisans displaying locally raised and locally produced products. We especially enjoyed the live music in front of the beautifully decorated tree!
