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 applies these interests to Model Based User Interface Design and Reverse Engineering.

Academic Interests

Formal Methods in Support of Software Engineering
Software System Architecture
Program reasoning:
Applying programming language theory to other disciplines.
Complexity Theory and Algorithmics.
Foundational mathematics and logic.

Contact Information:

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