• email: radugrigore@gmail.com
• mail: UCD CASL, University College Dublin, Belfield, Dublin 4, Ireland
• blog: Theory and Practice

In October 2005 I started a PhD under the supervision of Joe Kiniry at University College Dublin in the MOBIUS European Union programme. My research focus is the efficiency of static software verification tools. The Spec# overview should give you a flavor of things I enjoy.

---

Last updated: 13 June 2009