NICTA L&C

NICTA's Logic and Computation Program has finally decided to admit that I exist. They may, of course, come to rue this decision... And, no, I am not either of the two people in the photo at the top of that page. Heck, I don't even know who they are! Although, that picture isn't on any other group member's biography page. Hmmm....