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

View
 

FrontPage

This version was saved 15 years, 2 months ago View current version     Page history
Saved by PBworks
on August 26, 2005 at 12:37:39 am
 

Robin Green's home page

 

(2005/08/25) My homepage is now a wiki - publicly viewable, but only editable by me. Mainly because it's slightly more convenient to edit it this way.

 

Academic

 

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.

 

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

 

Current projects

 

Epigram wiki - A wiki for the new programming language Epigram

 

Interesting-looking stuff that I want to investigate further

 

These are links that I've only given a cursory glance, but which I'm probably going to come back to later, newest additions at the top.

 

  • abc - Alternate implementation of the AspectJ language extension to Java, implemented by folks at ox.ac.uk and elsewhere based on existing components (different ones to what AspectJ uses).

 

  • Black Dog - Pint-sized linux server with integrated biometric scanner

 

Free Software That Rocks

 

  • Fedora Core Linux
  • Eclipse - Multi-language cross-platform integrated development for Linux
  • KPDF - PDF viewer. Not a glamorous task, but an essential one.
  • Azureus - Excellent BitTorrent client
  • Psi - Uses the Jabber protocol so you can chat to people using iChat, Google Talk, MSN, AIM...
  • XChat - IRC client

 

Free Software That Almost But Not Quite Rocks

 

  • SessionSaver - Firefox extension that saves all useful session state, automatically, at very frequent intervals, and restores it exactly. Doesn't work correctly with forms yet, so it might submit a form twice (which is very bad behaviour!)

Comments (0)

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