I mean these pages to complement my official homepage.
So what's available here?
- A list of work in progress — this is limited to CCIS faculty and grads. Check it out if you want to see what I am up to.
- A group of us has been meeting weekly to read and discuss papers in logic in CS.
- I maintain a small blog of logic-related curios.