Date & Time:
March 11, 2021 1:00 pm – 2:00 pm
Location:
Live Stream
03/11/2021 01:00 PM 03/11/2021 02:00 PM America/Chicago Greg Nelson (Washington) – Learning Technology for Formal Systems Live Stream

Learning Technology for Formal Systems

Watch via live stream

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.

Host: Diana Franklin

Greg Nelson

PhD Candidate, University of Washington

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.

Related News & Events

UChicago CS News

UChicago’s Parsl Project Pivots to Sustainability and Community with New Grants

Nov 17, 2022
man browsing Netflix
UChicago CS News

Trending Now: How Netflix Chills Our Free Will

Nov 14, 2022
UChicago CS News

UChicago CS Research Finds New Angle on Database Query Processing with Geometry

Nov 08, 2022
In the News

Alumnus Pranav Gokhale Named to Crain’s 40 Under 40

Nov 07, 2022
UChicago CS News

Prof. Diana Franklin Discusses Quantum Computing Education on Entangled Things Podcast

Nov 03, 2022
UChicago CS News

New UpDown Project Uses “Intelligent Data Movement” to Accelerate Graph Analytics

Oct 21, 2022
UChicago CS News

Civic Tech Pioneer James Turk Joins UChicago CS to Teach in MPCS, CAPP

Oct 06, 2022
UChicago CS News

Five UChicago CS Students Named to Siebel Scholars 2023 Class

Sep 22, 2022
UChicago CS News

UChicago CS Students Emily Wenger and Xu Zhang Receive Harper Fellowships

Sep 14, 2022
In the News

Internet Disconnect

Sep 13, 2022
UChicago CS News

Asst. Prof. Aloni Cohen Receives Award For Revealing Flaws in Deidentifying Data

Sep 09, 2022
UChicago CS News

UChicago/Argonne Computer Scientist Ian Foster Receives ACM/IEEE Ken Kennedy Award

Sep 07, 2022
arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube