skip to Main Content

UC San Diego Statement in Support of Asian Communities Impacted by Shootings in Atlanta

View Here

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

Steven Wakabayashi

Steven Wakabayashi (QTBIPOC Design)

Wednesday, May 26, 2021, at 4:00 P.M.
Designing for Equity: Creating More Inclusive and Accessible Products
IDEA LAB Spring 2021

IDEA LAB Spring 2021

Application opens Monday, Feb. 1st at 12PM noon, closes Sunday, Feb. 21st @ 11:59pm
Ucsd Design Lab Laurens Van Der Maaten Facebook

Laurens van der Maaten (Facebook)

Wednesday, February 10, 2016 at 4:00 PM
Visualizing Data Using Embeddings
Fung Auditorium on the UCSD Campus
Back To Top