• If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.



Page history last edited by PBworks 14 years, 5 months ago

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).

Comments (0)

You don't have permission to comment on this page.