Guides to Surviving Grad School

Ronald T. Azuma, Computer Science

Lessons Learned from Getting Scooped
We say that someone is scooped when another person beats them to a result and publishes it first. I was scooped while working on my doctoral thesis, but I managed to keep my research on track. In this article I will share some good advice I received as well as some lessons I learned.

Douglas Comer - Notes on the PhD degree

http://www.youngmath.net/ discusses issues of concern to mathematicians at the beginning of their careers

Douglas Comer - Bedtime Reading For People Who Do Not Have Time To Sleep
Olin Shivers - Dissertation Advice

And finally... Suggestions for Teaching with Excellence

What are your favorite articles on the subject?

Interesting Research: mostly proof theory

Deep Inference and Symmetry in Classical Proofs (includes an Intro to Proof Theory)
http://www.iam.unibe.ch/%7ekai/Papers/phd.pdf


Inference and Deduction: An Approach Integrating Logic and Probability
http://www.iam.unibe.ch/%7Etil/projects/InferenceDeduction.html


Proof Theory
http://alessio.guglielmi.name/res/cos/index.html


http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/
includes
Proof Analysis
Explicit Mathematics
Proof Theory with Deep Inference


As we discovered recently, deep inference allows for a radically new, simple and elegant proof theory, when coupled with a notion of premise-conclusion symmetry. A new range of possibilities is open, with direct impact on computer science. We can in fact design deductive systems for important logics, like classical, linear and modal logics, whose rules are all local and atomic, including cut, contraction, promotion, additive context management, etc. Moreover, several modularity properties hold that are provably impossible for shallow calculi. We can study logics arising from process algebras for which no presentation in shallow calculi exists. We can also study new, meaningful notions of normalisation.