Graduate Students Supervised

Anthony Wallace (2009-) is developing a framework to foster collaborative research, particularly in the health sciences area.

I am co-chairing Tony's committee, but Rex Gantenbein is acting as Tony's primary chair.

Nadya Kuzmina graduated in 2009. She developed a tool and methods that allow programmers to extract constrained models from programs automatically. Her tool is based on the Daikon constraint extraction tool and AbsInt, an abstract interpreter developed at the University of Wyoming. This work was partially sponsored by NSF CNS-0613919.

John Cowles served as co-chair on Nadya's committee.

Andrey Nifatov graduated in 2006. For his master's work, he developed a framework to train neural networks using grid computing.

Divya Sethi graduated in 2006. Her master's thesis involves building a database abstraction layer based on Data Access Objects (DAOs) to remove dependencies on the underlying database. She designed a database-independent syntax for describing database schemas and queries. Her framework reads a project specification in this syntax and performs the necessary DDL and DML operations in different databases. Her thesis (MS Word) is available online.

Todd Bolinger graduated in 2006. His master's thesis involved using grid computing to visualize a gravitational model of a galaxy. He developed techniques for running the model, originally designed for a supercomputer, on a grid computing network. He also developed techniques to use grid computing to visualize the results of this model. His thesis (MS Word) and source code are available online.

Edouard Havugimana graduated in 2005. For his master's project, he proposed and analyzed an online payment system that combines the simplicity of SSL with the security of SET.