Sat 26 - Thu 31 October 2013 Indianapolis, United States
Kathi Fisler

Registered user since Thu 10 Apr 2014

Name: Kathi Fisler

Bio: I’m interested in various facets of how people learn and use formal systems. My current focus is computing education, with an emphasis on how programming languages impact learning and pedagogy in computing. I’ve also worked on diagrammatic logics for hardware design (late 1990s), modular verification of feature-oriented programs (early 2000s), and reasoning about access-control and privacy policies (mid-late 2000s). Those projects emphasized formal systems over human reasoning. My work in computing education tilts the balance, but is part of the same broad theme.

Country: United States

Affiliation: Brown University

Personal website: https://www.cs.brown.edu/~kfisler/

Research interests: Computing Education, Formal Methods


Onward! 2013Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track
Author of Bootstrap: Programming Games with Algebra within the SPLASH-E-track
Show activities from other conferences

SPLASH 2013-profile
View general profile