Recent News (approximately the last six months)
August 2010
Radu Grigore successfully defended his PhD dissertation entitled "The Design and Algorithms of a Verification Condition Generator" on Monday, 23 August 2010. He is now a postdoc working on the jStar project with Dino Distefano and Matthew Parkinson in the Theory Group in the Department of Computer Science at the Queen Mary University of London.
Joe Kiniry is on the editoral board of the Journal of Object Technology.
Joe Kiniry is on the Program Committee of SEFM 2011.
July 2010
The paper Agile Formality: A "Mole" of Software Engineering Practices by Vieri, Dragan, and Joe has been accepted for publication at AM+FM 2010.
June 2010
A paper Votail by Dermot Cochran and Joe Kiniry was accepted to FoVeOOS 2010.
May 2010
Mikoláš successfully defended his PhD dissertation entitled "SAT Solving in Interactive Configuration" on Friday, 28 May 2010. He is now a postdoc working with Ines Lynce at the Instituto Superior Técnico at Inescid in Lisbon.
April 2010
The binary and source release of JavaFE version 2.0.11 is now available.
Mikoláš Janota has submitted his PhD dissertation "SAT Solving in Interactive Configuration." Congratulations!
Radu Grigore has submitted his PhD dissertation "The Design and Algorithms of a Verification Condition Generator." Congratulations!
Joe Kiniry is on the Program Committee of FoVeOOS 2010.
January 2010
Joe Kiniry starts an Associate Professor position at IT University of Copenhagen (ITU). The KindSoftware group is temporarily split between UCD and ITU.