|
I'm interested in the interplay between the logics that people use when solving problems and the formal logics used to encode similar problems in software. My early-career work focused on computational aspects of representations used by humans in practice. One project focused on the differences between timing diagrams and textual temporal logics for hardware verification. Another looked at modular verification of programs whose modules encapsulated user-identifiable features (an architecture linked to product lines, such as telecommunications systems).
I'm starting to explore the more open-ended human aspects of this area, studying domains in which the human logic either isn't clear or isn't as consistent across individuals. I'm also interested in areas of human logic that involve more mainstream users as opposed to fairly technical users. My current focus is on access-control and privacy policy, an area where gaps between human and formal logic can have serious repercussions. We are implementing our work in the Margrave Policy Analyzer. If you're interested in joining our group, read this and then contact me.
Current and Recent Courses
|
Professional
Activities
|
I was a theater junkie through high school. As an undergraduate at Williams College, I rang handbells, worked in the college archives, walked campus backwards giving tours, danced folk and jitterbug, double majored in Chinese and Computer Science and sang in an acapella group for folks who couldn't carry a tune. These days, I mainly travel, exercise, play the piano, make clothing, and cook vegetarian food from around the world. Jigsaw puzzles distract me for hours. I love puns and other forms of word-play. Thin-crust pizza is the only way to go.
