skip to Main Content
ucsd design lab sorin lerner uc san diego

Sorin Lerner

 

Abstract

Toward Gamification of Proofs about Programs

In this talk, I will present our ongoing research on turning the task of doing proofs about programs into puzzle games that can played for fun. I will first present Polymorphic Blocks, a block-based UI in which a connector’s shape visually represents the structure of the data being passed through the connector. I will show how this UI can be used to add visual type information to block-based languages like Blockly, but more importantly, how it can be used to represent logical proofs in natural deduction. In this context, if we erase all the symbols, our UI becomes a visual puzzle game, where solving a puzzle is tantamount to building a proof in natural deduction. Using this gamification of natural deduction as a springboard, I will go on to discuss (1) implications of this result for doing proofs about programs (2) our follow up work on gamification of loop invariants, and finally (3) lessons learned from this project.

Wednesday, November 29, 2017 at 4:00 p.m.
CSE 1202 on the UCSD campus
https://goo.gl/PJiRhJ (Google Map Link)

Read Next

Ucsd Design Lab Eric Von Hippel MIT

Eric von Hippel (MIT)

Wednesday, June 7, 2017 at 4:00 PM
Free Innovation
CSE1202 on the UCSD Campus
Laurel Riek Uc San Diego Design Lab

Laurel Riek (UC San Diego)

Wednesday, November 20, 2019 at 4:00 P.M.
Human Robot Teaming in Healthcare
CSE 1202 on the UCSD campus
Design Lab Uc San Diego Creative Jam

San Diego Startup Week Creative Jam

Thursday, June 18, 2018 from 7p.m. - 10p.m. 
Moniker Warehouse, San Diego, CA
Back To Top