Document Actions
Damien Sereni
Biography
I am the Research Associate for the Centre for Metacomputation, a post I have held since March 2006. Prior to this, I read a D.Phil. (doctorate) in Oxford, under the supervision of Oege de Moor.
Throughout my doctorate I was a member of Magdalen College, and still hold an honorary membership there. In addition, I am a lecturer at St. Edmund Hall.
Research
The focus of my research is program analaysis, in particular as applied to the verification of correctness properties of programs.
The topics of particular interest to me in this field include:
- Termination analysis and the analysis of higher-order programs
- Aspect-Oriented Programming
- Declarative specification via code queries
You can find more information about:
Conferences
I was on the programme committee of AOSD 2008 and FOAL 2008.
Teaching
I am currently the lecturer in Computer Science at St. Edmund Hall. You can find out more information about my teaching activites here.
Further Information
Please feel free to contact me; you can find my contact information here.
I will add a CV to this page shortly, in the meantime please contact me for one.