<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class="" style="orphans: 2; widows: 2; font-size: large;">UNIVERSITY OF CHICAGO</span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class=""><font size="4" class="">DEPARTMENT OF COMPUTER SCIENCE</font></span></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class="">SEMINAR:</font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div><p class="MsoNormal"><o:p class=""> </o:p></p><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><img apple-inline="yes" id="96014EF0-AA9B-4807-84FE-F80AE7E31314" class="" src="cid:0A398C72-2CAA-42C0-9DDF-BD6E31D2C1F7"></div><div class="" style="orphans: 2; widows: 2;"><font size="4" class=""><b class="">Greg Nelson</b></font></div><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><div class="" style="margin: 0in 0in 0.0001pt;"><font size="4" class=""><i class="">University of Washington</i></font></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><i class=""><p class="MsoNormal" align="center"><o:p class=""></o:p></p></i></span><div class=""><br class=""></div></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class=""><font class=""><font size="4" class=""><b class="">Thursday, March 11th at 1:00 pm</b></font></font></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><br class=""></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Join via zoom (enables questions):</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"><a href="https://uchicago.zoom.us/j/99041520091?pwd=UTk4K0VSczkzYlBvL0RiMkJkSUhYQT09" class="">https://uchicago.zoom.us/j/99041520091?pwd=UTk4K0VSczkzYlBvL0RiMkJkSUhYQT09</a><br class="">Passcode: uccs2021</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"> </span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;">Or</span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><span class="" style="font-size: 15px;"><br class="">Watch via live stream:<br class=""></span></span></div><div class="" style="margin: 0in 0in 0.0001pt;"></div></div><div class=""><div class=""></div><div class=""><a href="http://live.cs.uchicago.edu/gregnelson/" class="" style="font-size: 15px;">http://live.cs.uchicago.edu/gregnelson/</a></div><div class=""><font class=""><font class=""><span class="" style="font-size: 15px;"><br class=""></span></font></font></div><div class=""><span class="" style="font-size: 15px;"><span class=""><span class=""><span class=""><font class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);">Title: </b></span></font></font></span></span></span>Learning Technology for Formal Systems</span></div><div class=""><font color="#212121" class=""><span class="" style="font-size: 15px;"><b class=""><br class=""></b></span></font></div><div class=""><span class="" style="font-size: 15px;"><span class=""><span class=""><span class=""><span class="" style="color: rgb(33, 33, 33);"><span class=""><b class="">Abstract: </b></span></span></span></span></span><font color="#212121" class=""><span class="">Formal systems like programming languages, relational algebra, and convex optimization have vastly improved society. Behind those accomplishments are people who learned those formal systems, but those people are still relatively rare; for example, less than 1% of humanity knows the basics of programming languages. If everyone could quickly learn formal systems, everyone could participate in improving society faster, more broadly, and more equitably. To enable that, I build learning technology for formal systems, and I’ve started by focusing on programming languages. This includes 1) an interactive textbook to teach program reading, 2) more specific and useful assessments generated from a model of programming language knowledge, as well as 3) ways to productively apply empirical social science theory to design learning technology and assessments. These tools can teach code reading better than a 10 week CS1 course in about 4 hours, provide specific feedback to help improve learning, and show the potential for better ways of teaching formal systems that can work for everyone.</span></font></span></div><div class=""><font color="#212121" class="" style="font-size: 15px;"><br class=""></font></div></div><div class=""><div class=""><font class=""><span class="" style="font-size: 15px;"><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><div class=""><font class=""><b class="" style="color: rgb(33, 33, 33);">Bio: </b></font>Greg Nelson is a PhD candidate at the University of Washington Paul G. Allen School of Computer Science and Engineering, focusing on learning technology for formal systems. Greg has received paper awards at ACM CHI, IEEE InfoVis, and ACM ICER, the top conference for computer science education research. Greg has a B.S. in CS and Physics from Georgetown University. Greg’s research has been supported by an NSF Graduate Research Fellowship and other NSF grants. Greg has interned at Facebook Reality Labs, and, before graduate school, Greg worked in industry, including scaling bank closing infrastructure at the FDIC during the Great Financial Crisis, and leading the development of a management database for greater transparency, accountability, and coordination across the Rwandan health system, working with the Rwandan Ministry of Health, USAID, the World Bank, and 120+ other organizations.</div><div class=""><br class=""></div></div></span></font></div><div class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" class=""><i class=""><b class=""><font class="" style="font-size: 15px;">Host: Diana Franklin</font></b></i></font></div><div class=""><font color="#222222" class=""><i class=""><b class=""><font class="" style="font-size: 15px;"><br class=""></font></b></i></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></body></html>