Barry Denby

Barry Denby worked with Joe Kiniry in the 2005-2006 academic year on a final year thesis in the School of Computer Science and Informatics at UCD. His project focused on adding a soundness and completeness warning system to ESC/Java2. This work resulted in a paper published in SAVCBS 2006. He is now a PhD student performing research in computer graphics at UCD.