News
Undergraduate Student Christopher Steinmuller selected for CRA Honorable Mention
CS undergraduate students Christopher Steinmuller has been selected for Honorable Mention in the Computing Research Association's Outstanding Undergraduate Award for 2011. The CRA Outstanding Undergraduate Award program recognizes undergraduate students in North American universities who show outstanding research potential in an area of computing research.
Christopher was recruited by Dr. Supratik Mukhopadhyay in Summer 2010 to work on his NSF supported project on program analysis. During Summer and Fall 2010, he has worked with Dr. Mukhopadhyay and Dr. Iyengar on verified complex event processing for petrochemical industry and with Dr. Mukhopadhyay on using theorem proving to formally verify an open source router (http://www.myopenrouter.com). In each of these topics, Christopher has written one paper. His complex event processing paper has been published in IEEE Computer, August 2010.
Christopher was recruited by Dr. Supratik Mukhopadhyay in Summer 2010 to work on his NSF supported project on program analysis. During Summer and Fall 2010, he has worked with Dr. Mukhopadhyay and Dr. Iyengar on verified complex event processing for petrochemical industry and with Dr. Mukhopadhyay on using theorem proving to formally verify an open source router (http://www.myopenrouter.com). In each of these topics, Christopher has written one paper. His complex event processing paper has been published in IEEE Computer, August 2010.
