LTL at the Des Moines Winter Market

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!


Leave a Comment

Filed under Lab Socials

Leave a Reply

Your email address will not be published. Required fields are marked *