Dr Andrea Schalk

Lecturer

Full contact details
View graph of relations

Biography

I am a lecturer at the School of Computer Science, working most closely with the other members of the Mathematical Foundations Group.

I hold a PhD equivalent Doktor rer. nat. from the Technical University Darmstadt, where I also received my first degree of Diplom-Mathematikering at the Department of Mathematics.

Before coming here I briefly was a lecturer at the School of Computer Science at the University of Birmingham, and before that a research associate at the Department of Pure Mathematics and Mathematical Statistics (known in short as DPMMS) at the University of Cambridge where I worked with Martin Hyland on an EPSRC project entitled "Uniform Game Semantics for Computational Reasoning". Before that I had a Marie Curie grant  held at the Computer Laboratory at  the University of Cambridge.

I have served as a referee for most of the journals and conferences in my area, and for the EPSRC; I was also a member of their Peer Review College for three years. I am a member of the steering committee and programme committee for the Workshop on Games for Logic and Programming Languages. I have received invitation to speak nationally and internationally in locations such as Bath, Oxford, Liverpool, Ottawa, Montreal, Calgary, Paris and Amsterdam.

Related information

Publications

Research output: Contribution to journalArticle

Research output: Contribution to conferenceOther

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (11)

Student theses

UoM administered thesis: Phd

View all (3)