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

• Model based generation of reactive software.
• Specification langauges.
• Theorem proving and model checking.

Software System Architecture

• Specification abstractions.
• User interface and reactive system architectures.
• Code generation.

Program reasoning:

• Semantic program representations.
• Abstract interpretation.

Applying programming language theory to other disciplines.

Complexity Theory and Algorithmics.

Foundational mathematics and logic.

Contact Information:

Phone:

E-mail: kurt@cc.gatech.edu