skip to content

Department of Computer Science and Technology

Singular: 
PhD student
Slug: 
phd-students
Read more at: Alistair John O'Brien

Alistair John O'Brien

I am a first year PhD Student in the Programming Languages, Semantics and Verification group and a member of Queens' College. I'm interested in programming languages, formal semantics, type systems, and verification. My supervisor is Professor Jeremy Yallop. My research is funded by the OCaml Software Foundation and TriliTech.


Read more at: Alva Markelius

Alva Markelius

Alva Markelius is a PhD candidate and Cambridge Trust Scholar at the Affective Intelligence and Robotics Laboratory (AFAR) under the supervision of Professor Hatice Gunes.

Journal articles

  • Markelius, A., Wright, C., Kuiper, J., Delille, N. and Kuo, Y-T., 2024 (Accepted for publication). The mechanisms of AI hype and its planetary and social costs AI and Ethics,
    Doi: http://doi.org/10.1007/s43681-024-00461-2
  • Markelius, A., 2023 (Accepted for publication). Differential Outcomes Training of Visuospatial Memory: A Gamified Approach Using a Socially Assistive Robot International Journal of Social Robotics,
    Doi: http://doi.org/10.1007/s12369-023-01083-0
  • Conference proceedings

  • Chan, A., Salganik, R., Markelius, A., Pang, C., Rajkumar, N., Krasheninnikov, D., Langosco, L., He, Z., Duan, Y., Carroll, M., Lin, M., Mayhew, A., Collins, K., Molamohammadi, M., Burden, J., Zhao, W., Rismani, S., Voudouris, K., Bhatt, U., Weller, A., Krueger, D. and Maharaj, T., 2023. Harms from Increasingly Agentic Algorithmic Systems ACM International Conference Proceeding Series,
    Doi: http://doi.org/10.1145/3593013.3594033
  • Journal articles

    2024 (Accepted for publication)

  • Markelius, A., Wright, C., Kuiper, J., Delille, N. and Kuo, Y-T., 2024 (Accepted for publication). The mechanisms of AI hype and its planetary and social costs AI and Ethics,
    Doi: http://doi.org/10.1007/s43681-024-00461-2
  • 2023 (Accepted for publication)

  • Markelius, A., 2023 (Accepted for publication). Differential Outcomes Training of Visuospatial Memory: A Gamified Approach Using a Socially Assistive Robot International Journal of Social Robotics,
    Doi: http://doi.org/10.1007/s12369-023-01083-0
  • Conference proceedings

    2023

  • Chan, A., Salganik, R., Markelius, A., Pang, C., Rajkumar, N., Krasheninnikov, D., Langosco, L., He, Z., Duan, Y., Carroll, M., Lin, M., Mayhew, A., Collins, K., Molamohammadi, M., Burden, J., Zhao, W., Rismani, S., Voudouris, K., Bhatt, U., Weller, A., Krueger, D. and Maharaj, T., 2023. Harms from Increasingly Agentic Algorithmic Systems ACM International Conference Proceeding Series,
    Doi: http://doi.org/10.1145/3593013.3594033