Computer Laboratory

Andrej Ivašković

Portrait, 2020

I am currently a PhD student at the University of Cambridge Faculty of Computer Science and Technology and member of Trinity College. My research area is programming languages, formal semantics and verification. My supervisor is Professor Alan Mycroft.

The title of my PhD (as of early 2020) is Algebraic coeffects. Broadly, I am interested in applications of graded structures (monads, comonads, categories) in programming and static analysis.

I hold a BA and an MEng from the University of Cambridge as well (matriculated at Trinity in 2014), where I was a student of the Computer Science Tripos. I was an undergraduate researcher in the summer of 2016. I worked with Dr Thomas Sauerwald on the ERC-funded project DYNAMIC MARCH ("Dynamics of Multiple, Interacting and Concurrent Markov Chains"). During my 10 week placement, we studied the mathematical/theoretical foundations of multiple independent Markov Chains and established some interesting results. I spent my other summers working in industry (for Microsoft, Google and Improbable).

I am proud to have received these prizes during my PhD:

  • New Wiseman Prize, awarded by the Department of Computer Science and Technology on 12 November 2019, for teaching activities
  • Student-Led Teaching Awards (commended in the category of undergraduate supervisors in science subjects), awarded by CUSU on 10 May 2019


See my Google Scholar profile.


I supervise various courses for different colleges. I will be uploading my exercise sheets here as well. Any suggestions are welcome and feel free to use them as you wish. Email me for solutions to individual questions.

(*) two supervisions


Andrej Ivašković
University of Cambridge
Department of Computer Science and Technology
Computer Laboratory
15 JJ Thompson Avenue
Cambridge CB3 0FD
United Kingdom

Office: FC13

Phone: +44 1223 763522