Projects and Collaborations
Being a friendly sort of folk, we like to work with others in the same
area; our current and recent collaborations include:
-
Rosemary's research on the Spec# Programming System
in association with K. Rustan M. Leino at Microsoft Research,
Redmond, Washington.
-
The AbstractTestJ tool for testing abstract classes
in Java is being developed with
the Software Testing
Research Group in the School of Computing and Information
Sciences (SCIS) at FIU
-
The keystone
and g4re projects,
dealing with Static analysis of ISO C++, in collaboration
with Brian Malloy of
Clemson University.
-
The KWILU
project, dealing with Dynamic analysis of Java bytecode execution, in
conjunction with John
Waldron in Trinity College Dublin.
-
Work between Rosemary Monahan and Joe Morris from Dublin
City University on the the formalisation of object oriented
specifications.
Our colleague Paul
Gibson was working with the group while at Maynooth (1998-2006).
Since October 2006 he's been working with the
Institut National des
Télécommunications in France.
Our university has a good sabbatical system, which we've been happy to
fully utilise:
Rosemary spent the 2006-7 academic year on sabbatical,
collaborating on research in both DCU and Redmond.
Paul spent the 2005-6 academic year on sabbatical with the MOSEL research group in
Nancy, France. James spent the 2004-5 academic year on sabbatical, working
with Brian Malloy's
group in Clemson, South Carolina.
|
