People
Kathryn Fisler
Associate Professor
Faculty Listing
Office: Fuller Laboratories, 130
Phone: +1-508-831-5118
Fax: +1-508-831-5776
kfisler@wpi.edu
kfisler@cs.wpi.edu
Related Information
Educational Background
- B.A., Williams College, 1991
- M.S., Indiana University, 1992
- Ph.D., Indiana University, 1996.
Research & Teaching Interests
Formal verification of hardware and software systems; verifying and understanding access-control policies; diagrammatic logic and reasoning; programming languages.
IQP Advising Interests
Technology & organizational behaviors; impact of technical change on job & business; safety analysis; product liability
Honors & Awards
- 1994-1996, AT&T Graduate Student Research Fellowship
- 1996-1998, NSF CISE Postdoctoral Research Fellowship in Experimental Computer Science
- 2004, WPI Moruzzi Young Faculty Award for Innovation in Undergraduate Education
Years of Service at WPI
- August 2000 - (date of appointment)
Professional Experience & Activities
- 1999-2000, Instructor and Research Scientist, Rice University
- 1996-1999, Postdoctoral Researcher, Rice University
- 1997, Consultant, Intel Design Center, Haifa, Israel
- 1995-1996, Member of Technical Staff, AT&T Bell Labs/Lucent Technologies