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

  • Stop wasting time looking for files and revisions. Connect your Gmail, DriveDropbox, and Slack accounts and in less than 2 minutes, Dokkio will automatically organize all your file attachments. Learn more and claim your free account.



Page history last edited by PBworks 15 years, 3 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.