Robert Rothenberg

I am a former PhD student of Roy Dyckhoff in the Computational Logic Group in the School of Computer Science at the University of St Andrews.

My thesis was on the relationship between hypersequent and labelled sequent calculi for intermediate logics with geometric Kripke frames. A copy can be downloaded here. (Followup papers on that subject can be found here.)

I was also involved with the Functional Programing Group, and was a research assistant with the EmBounded Project.

My main areas of study are proof theory for non-classical logics, and the applications and implementations of automated reasoning in those logics. In particular, I am interested in the relationship between various extentions to Gentzen-style sequent calculi, such as hypersequents, higher-order sequents and labelled sequents.

A statement of my research interests can be found here.

I currently stay in Edinburgh.

Contact Information