A warm welcome to the two new project participants starting here at Swansea this month:
- Kathy Gray
- Casper Poulsen
Martin, Kathy and Casper are all located in the recently established PLanCompS Lab (room 403, Faraday Tower). domains check .
Category Archives: Uncategorized
Ken Madlener’s Research Visit
Ken is visiting Swansea for a few months to work with PLanCompS participants on formalisation of bisimulation equations and their robustness under language extensions. Today he will be giving a talk about this. The talk is part of the Proof, Complexity and Verification series at Swansea, and the Mathematical Foundations series at Bath, via a video link. We look forward to hearing all about it!
Project Meeting
We’re all just returning from an excellent project kick-off meeting, hosted at Swansea this weekend. The programme included a thorough review of the plans outlined in the project proposal and technical presentations by the investigators and visiting researchers. login secure server . We hope that this forms the beginning of a solid continuing development in our field.
Joining the team
The PLanCompS Team is pleased to welcome new members…
|
The research assistants at Swansea will be:
and at RHUL:
The PLanCompS PhD studentships have been awarded to Casper Bach Poulsen (Swansea) and Robert Walsh (RHUL). We look forward to their work on the project.
|