Welcome to my homepage!
Kristina Boysen
- Masters Student under Dr. Gary T. Leavens
- B.S. 2005, Computer Science, Iowa State University
Research Interests
- Formal Methods
- Human / Computer Interaction
- Web Programming / Portal Development
- Software Engineering