Date: Thu, 21 Nov 1996 22:10:49 GMT Server: Apache/1.1.1 Content-type: text/html Content-length: 2917 Last-modified: Tue, 09 Jul 1996 20:12:43 GMT Home Page for Kurt Stirewalt College of Computing, Georgia Tech

Kurt Stirewalt

Kurt Stirewalt is a Research Scientist and a PhD student in the College of Computing at Georgia Tech . He works in the Graphics, Visualization, & Usability (GVU) Center , and is affiliated with the Software Research Center (SRC). His main research interests include program analysis, formal languge semantics, and model theory. He (tries to) find interesting (and sometimes even useful) applications of these interests in Reverse Engineering and Model Based User Interface Design.

Academic Interests

Program reasoning:
Formal Methods in Support of Software Engineering
The application of programming language paradigms and theories to other disciplines.
Complexity Theory and Algorithmics.
Foundational mathematics and logic.

Personal Interests

Internal Documents

Be warned! These documents are work in progress and not final products.


Contact Information:

At Georgia Tech:
Kurt Stirewalt
College of Computing
Georgia Institute of Technology
Atlanta, GA 30332-0280

Phone:

(404)-894-4846
Fax:
(404)-883-1339

E-mail: kurt@cc.gatech.edu