Skip to main content

Staff Profile

Dr Troy Astarte

Research Associate

Background

I am a research assistant in computing science at Newcastle University.

My PhD research was on the history of programming language semantics. I am now working on a research project on the history of concurrency in programming and computing systems, funded by the Leverhulme Trust.

I am the chair of the Newcastle University Historic Computing Committee, which curates a large collection of historic artefacts related to computing at the University. I am a member of the British Society for the History of Mathematics Council, where I am their webmaster. I am also part of the PROGRAMme project which takes a historical and philosophical look at the question “What is a (computer) program?”.

I sit on the School of Computing's Equality and Diversity Committee. I am agender and my pronouns are they/them/their. I appreciate the use of gender-neutral terms in reference to me.

Research
I am interested in theoretical computer science and formal methods, and the history of computing. A full list of publications is available on my web page. The publications listed here are woefully incomplete and cannot apparently be edited by me. 
Teaching

For two years, I taught CSC3321: Understanding Programming Languages. This module taught students all about the intricacies of programming languages, using Structural Operational Semantics as a tool.

I have been a demonstrator (teaching assistant) on a number of computer science modules across the School. 

Publications