📄 http:^^www.cs.rice.edu^~kfisler^
字号:
Date: Tue, 26 Nov 1996 20:57:37 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Sat, 26 Oct 1996 01:33:30 GMTContent-length: 2265<TITLE> Kathi Fisler's Home Page </TITLE><BODY><H1>Kathi Fisler </h1><h3>Postdoctoral Researcher<br> <!WA0><a href="http://www.rice.edu">RiceUniversity</a>, <!WA1><a href="http://www.cs.rice.edu">Department of Computer Science</a></h3><HR><P><strong>NOTE:</strong>In Spring 1997, I will be offering <!WA2><ahref="http://www.cs.rice.edu/~kfisler/comp408/">COMP 408:Applied Computer-Aided Verification</a>, a seminar intended for upperlevel undergraduates and above.<p><hr><P><H3> Research </H3>My primary research interests are <!WA3><AHREF="http://gruffle.comlab.ox.ac.uk/archive/formal-methods.html">formalmethods</A> and <!WA4><AHREF="http://uhavax.hartford.edu/diagrams">diagrammatic reasoning</A>.<P>People commonly use diagrams for problem solving; system design is noexception. Designers use state machines, circuit diagrams, and timingdiagrams, among others, while designing systems. Formal methodstools, however, provide little formal support for diagrammaticrepresentations. Although some tools provide diagrammatic interfaces,treating diagrams as interfaces to sentential logics overlooks a morefundamental issue: people reason with diagrams in ways that are notalways captured cleanly - if at all - in sentential representations.<p>One of my goals is to develop formal methods tools that supportreasoning with both diagrammatic and sentential representations. As astarting point, my <!WA5><AHREF="http://www.cs.rice.edu/~kfisler/dissabstract.html">dissertation</A>developed a formal logic of diagrammatic representations used inhardware design and their interactions with some sentential logicsused in existing tools. At present, I am implementing a verificationtool based upon this logic.<p><center><table cellspacing=20 valign="top"><tr valign="top"><td><h4><!WA6><A HREF="http://www.cs.rice.edu/~kfisler/publications.html">Publications</a></h4></td><td></td><td><h4><!WA7><A HREF="http://www.cs.rice.edu/~kfisler/info.html#contact">Contact Information</a></h4></td><td></td><td><h4><!WA8><A HREF="http://www.cs.rice.edu/~kfisler/info.html#education">Education</a></h4></td><td></td><td><h4><!WA9><A HREF="http://www.cs.rice.edu/~kfisler/bookmarks.html">Bookmarks</a></h4></td><td></td><td></td></tr></table></center></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -