Generate a tailored SOP for Dr. Joachim Parrow. Improve your application with a focused, well-structured draft.
Joachim Parrow is a retired Professor emeritus in Computing Science at Uppsala University. He obtained his BSc and PhD in Computer Science from the same institution, completing his doctorate in 1986. His early academic contributions were in formal design techniques, and he led a research group at the Swedish Institute of Computer Science. He is noted for his work with Robin Milner on pi-calculus and for the development of the Concurrency Workbench, an automated verification tool. He held various academic positions, including Professor of Distributed Systems at the Royal Institute of Technology (KTH) and was Dean of Mathematics and Computer Science at Uppsala University from 2017 to 2023. Throughout his career, he has been involved with numerous committees and has a strong focus on formal methods in concurrent and distributed systems, with ongoing research interests related to automated verification and logics.
Uppsala University • Uppsala
Professor emeritus in the Department of Information Technology.
Royal Institute of Technology (KTH) • Stockholm
Professor of Distributed Systems.
General Master's requirements applying across Science, Technology, and Humanities departments.