# Andrej Ivašković

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

Outside my research and teaching, since late 2019 I have been the University of Cambridge ICPC coach.

The picture on this page was taken at Top of The Rock Observation Deck by my wonderful partner Aga Słowik.

## Publications

See my Google Scholar profile.

## Talks

- Graded monads in program analysis, 7 April 2020, BCTCS 2020 (slides)
- "I just want to be pure": graded monads for program analysis, 7 March 2020, Trinity Mathematical Society (talks.cam.ac.uk)
- Programming with monads and graded monads, 30 October 2019, Logic & Semantics for Dummies (talks.cam.ac.uk)
- Dataflow languages and the semantics of context-dependent programming, 13 February 2019, Logic & Semantics for Dummies (talks.cam.ac.uk)

## Supervising

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.

- Algorithms (exercise sheet for the first 12 lectures)
- Complexity Theory
- Computation Theory (notes on decidability)
- Concepts in Programming Languages (exercise sheet)
- Databases (exercise sheet)
- Foundations of Data Science (sheet 1, sheet 2)*
- Hoare Logic and Model Checking
- Introduction to Graphics (exercise sheet)
- Programming in C and C++ (sheet 1, sheet 2, sheet 3)
- Semantics of Programming Languages (exercise sheet)
- Types

(*) two supervisions

## Contact

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

**Email:** name.surname@cst.cam.ac.uk