BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Will Crichton
DTSTART:20240822T170000Z
DTEND:20240822T180000Z
DTSTAMP:20260410T112056Z
UID:ToposInstituteColloquium/131
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/ToposInstitu
 teColloquium/131/">How to Make Mathematicians Into Programmers (And Vice V
 ersa)</a>\nby Will Crichton as part of Topos Institute Colloquium\n\n\nAbs
 tract\nTools for formalized mathematics (FM)\, such as proof assistants an
 d model checkers\, are increasingly capable of handling the real-world pro
 blems of both mathematicians and software developers. Yet\, these tools ar
 e only as effective as the people who use them. The FM community clearly n
 eeds to invest in better education and better tooling. But... which curric
 ula are actually effective for learners? What tooling will actually make u
 sers more productive? In this talk\, I will lay out some preliminary ideas
  for how to systematically investigate these questions\, i.e.\, develop a 
 science of human factors for FM. My core proposal is to combine experiment
 al psychological methods (e.g.\, lab studies\, IDE telemetry) and cognitiv
 e theories (e.g.\, working memory\, mental models) to study how people use
  FM tools. Then that understanding can be applied to make principled predi
 ctions about the efficacy of curricula\, tooling\, and language design.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/131/
END:VEVENT
END:VCALENDAR