Prof. Kathi Fisler Homepage

How to Design Programs: An Introduction to Programming and Computing

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Kathi Fisler Associate Professor Department of Computer Science Worcester Polytechnic Institute (also Adjunct Associate Professor of CS, Brown University ) Fuller Labs (FL) 130 (508) 831-5118 kfisler@cs.wpi.edu (photo by Shriram Krishnamurthi , Uluru, Australia, 2007) Contact Information Schedule Research Blurb Research Group Publications MQP/IQP Topics
Background image of page 2
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
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 4

Prof. Kathi Fisler Homepage -...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online