Andrea Schalk

Andrea Schalk is a Senior Lecturer in the Department of Computer Science at The University of Manchester. Her research focuses on the mathematical foundations of computer science, particularly in the areas of formal methods, categorical models of linear logic, and game semantics. She has supervised several PhD and MSc students and is interested in working with students who have a background in mathematics. Her work involves theoretical investigations into the connections between mathematical structures, proofs, and programs. She is a member of the Mathematical Foundations Group and has contributed to various research outputs, including conference contributions and journal articles.

Andrea Schalk is a researcher in the School of Computer Science at the University of Manchester, specializing in categorical models of logics and computation. Her work explores the intersection of category theory and logic, particularly in the context of linear logic and its models. She has published extensively on topics such as glueing, orthogonality, and the construction of fully abstract models for observational precongruence. Her research also includes the study of games on graphs, sequentially realizable functionals, and the categorical interpretation of Gandy's principles for mechanisms. Schalk's contributions focus on understanding the semantics of logical systems through algebraic and categorical frameworks.