UAA Mathematical Sciences major Ben Nolting was selected to be a member of the 2005 summer undergraduate research team at the Penn State Center for Mathematical Biology in Erie, PA. He was awarded a UAA Discovery Grant to help cover the costs associated with traveling to Penn State.
UAA Natural Sciences major Nick Armstrong-Crews was awarded a Discovery Grant to help cover a portion of the costs associated with traveling to the 2005 National Conference on Artificial Intelligence to present his research paper “Helicopter Routing for Maintaining Remote Sites in Alaska using a Genetic Algorithm.” Congratulations are also extended to Nick’s faculty mentor Dr. Kenrick Mock.
UAA Physics and Astronomy major Kevin Sheridan was awarded a Discovery Grant to help cover a portion of the costs associated with traveling to Kitt Peak Observatory in Tucson, Arizona to collect data for his research project “Membership for Stars in NGC 6633 and IC 4756.” Kevin’s faculty mentor, Dr. Travis Rector, accompanied him on this trip.
UAA Mathematical Sciences major Jerod Morehouse was awarded a Discovery Grant to help cover a portion of the expenses related to his travel to the 2005 meeting of the Pacific Northwest Region of the Mathematical Association of America to present his research project “Primitive Tournaments.” Congratulations are also extended to Jerod’s faculty mentor Dr. Mark Fitch.
UAA Computer Science major Max Konovalov's research paper entitled "Bilingual Hypermedia Teaching Materials for Introductory Java" was accepted for presentation at the International Society for Computers and their Applications CATA Conference, March 16-18th, 2005, in New Orleans, LA. Konovalov's research was funded in part by a Spring 2005 Alaska EPSCoR award and his travel to present was partially funded by a UAA Discovery Grant.
UAA Computer Science major Anastasia Mironova's poster was accepted at the 2004 Grace Hopper Celebration of Women in Computing conference held October 6th-9th in Chicago, IL. Mironova's poster, entitled "Using Model Checking with Symbolic Execution for the Verification of Data-Dependent Properties of MPI-Bases Scientific Software," highlighted her research into the application of model checking to the formal verification of properties of MPI-based parallel scientific programs. Mironova's travel to this conference was funded, in part, by a Discovery Grant.
