I am a new postgraduate student at UCD in the School of Computer Science and Informatics. My supervisors are Dr Joe Kiniry and Prof Paddy Nixon.

Research interests

My research interests include formal methods and writing programming languages that don't suck. Criteria for not sucking include, but are not limited to:

• they must be practical
• they must reduce the need for boilerplate as far as is practicable (which excludes Java)
• they must be readable (which excludes K)
• they must have easily-understandable performance properties (not a problem for the most popular programming languages, but excludes Haskell)
• and, last but not least... they must allow integrated formal specs (excludes nearly all implemented, in-use programming languages except Omega, Epigram and possibly Ada).