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