Generate a tailored SOP for Dr. Johannes Borgström. Improve your application with a focused, well-structured draft.
Johannes Borgström is an Associate Professor in the Department of Information Technology at Uppsala University, where he is responsible for the Bachelor's programme in computer science. His research primarily focuses on programming languages and process calculi, with an emphasis on semantics. Currently, he is engaged in work on probabilistic programming languages and Bayesian modelling, particularly in relation to compiler optimization and applications of e-graphs. He has a strong background in semantics and concurrency, developing languages that satisfy essential meta-theoretical properties. He has worked in the Applied Process Calculi project, developing formal modelling languages for parallel and distributed systems. His postdoctoral research at Microsoft Research in Cambridge included modern programming language features such as probabilistic observations and transactional memory. He obtained his PhD under Uwe Nestmann at EPFL, contributing to the definition of novel program equivalences and sound approximations of observational process equivalence. His PhD research also applied formalism techniques in areas like peer-to-peer distributed hash tables and security logics.
General Master's requirements applying across Science, Technology, and Humanities departments.