John Paul presents at Langley Formal Methods Workshop
John Paul, a Ph.D. student in Computer Science, presented a talk at the LFM 2008: The NASA Langley Formal Methods Workshop in Hampton Virgina held April 30 - May 2, 2008. The title of the paper was Towards a Formal Evaluation of Refacorings and was coauthored by Nadya Kuzmina , Ruben Gamboa and James Caldwell . Nadya also attended the workshop. This work was funded by the NSF Science of Design Program. John is a Ph.D. student in Computer Science at UW working with Professor Jeffrey Van Baalen . John's research topic is static analysis tools for software systems and web-aps.
