Computer Laboratory

Andrej Ivašković

Portrait, 2016

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, with my topic being Algebraic Coeffects. My supervisor is Professor Alan Mycroft.

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 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.

(*) Trinity arranges fewer FoDS supervisions that is suggested


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