Max Sandström
School of Computer Science
Research and Teaching Assistant
Member of the Foundations of Computation research group
M.Sandstrom@sheffield.ac.uk
Regent Court (DCS)
Full contact details
Max Sandström
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Max is a research and teaching assistant at the Department of Computer Science as of Spring 2023. Concurrently, he is also pursuing a PhD in mathematical logic at the University of Helsinki under the joint supervision of Juha Kontinen and Jonni Virtema, studying linear temporal logic under team semantics.
- Qualifications
-
MSc in 2019 in mathematics from the University of Helsinki.
- Research interests
-
- Finite model theory
- Logic in computer science
- Modal logics
- Team semantics
- Research group
-
Foundations of Computation research group