Tue 6 Nov 2018 14:30 - 15:00 at Cambridge - Mentoring Workshop Chair(s): Jonathan Bell
Slides - Fisler (PLMW-2018-networking.pdf)81KiB

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.

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:30: Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
14:00 - 14:30
Talk
Navigating the process of doing a rewarding Ph.D.
PLMW
Mayur NaikUniversity of Pennsylvania
14:30 - 15:00
Talk
Interaction: the Key to Joining a Research Community
PLMW
Kathi FislerBrown University
File Attached
15:00 - 15:30
Talk
Advice on your advisor
PLMW
Marsha ChechikUniversity of Toronto
File Attached