Jeremy Dawson

Email:   firstname-surname at gmx.com

Academic Career (1998-2021)

For this period of 24 years I was at the Logic and Computation Group in the Research School of Information Sciences and Engineering at the Australian National University, subsequently in the Research School of Computer Science, part of the College of Engineering and Computer Science, see further details here.

Retirement

• some category theory proofs in Coq
• reverting to my earlier interest in the law, including being rather outspoken about legal issues and cases that attract my interest, see further here
• I'm also an active bridge player, at Capital Bridge Club. Our club (together with Jamison) is supporting a new weekly social bridge activity, at The Henry, Higgins and here (initially, at least) is its website.