Jenna DiVincenzo (Wise)
Description: Hemant's website
cats (3125) radios (330) programming languages (109) program correctness (1)
It looks like you're visiting with Chromium. Consider using instead.
I'm a first-year PL/SE PhD student at Carnegie Mellon University, advised by Jonathan Aldrich . My interests lie in treating programming languages as human interfaces, and relatedly, in leveraging computers to help people think easily about hard problems.
I'm currently working on a radically new approach to information flow control that's easier to use while retaining reasoning power. Beyond this, I'm broadly investigating notions of usability for type systems that can capture both intensional (behavioral) and extensional (input/output) properties of programs.
Jenna DiVincenzo (Wise)