Systems Outage: June 30 - July 2

More info at

Child pages
  • Close Encounters of the Logical Kind

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 5.3

This is an informal blog nominally focusing on applications of logic to computer science, although I will naturally focus on my research interests in programming languages, security, and artificial intelligence.

One aim is to extend the Logic Column with smaller more frequent logic-related bits.

RSS feed

Blog Posts