13 October 2006

BCS Distinguished Dissertation

Francesco Bernardini has been a PhD student in the Verification and Testing research group. Francesco's research involved the theoretical study of P systems, their relationships with X machines and their use in modelling biological systems, leading to 15 publications, 5 of them in high profile journals.

His PhD thesis has been recently listed as one of this year's BCS Distinguished Dissertations. Francesco holds now a research position with the prestigious group of Theoretical Computer Science headed by professor Rozenberg in Leiden. http://www.liacs.nl/CS/TCS/