This is the homepage for Troy Astarte.
I am a doctoral student in computing science at Newcastle University. My thesis is a historical investigation into formal semantics of programming languages. My primary supervisor is Cliff Jones, and my extended supervisory team is Brian Randell, Martin Campbell-Kelly, and John V. Tucker.
In October 2017, I went to the Fourth International Conference on the History and Philosophy of Computing in Brno, an excellent conference full of interesting talks and even more interesting people. There, I presented a talk entitled 'Towards an Interconnected History of Semantics', which—as implied by the word 'towards'—was something of a work-in-progress. The aim was to address the confluence and influence in the history of semantics rather than making comparisons, and the talk was essentially a series of anecdotes about various events. A short abstract and slides for the talk can be found by clicking the buttons below. Additionally, an 'extended abstract' three pages in length is also available.
The British Society for the History of Mathematics invited me to their Research in Progress symposium held at the Queen's College, Oxford, in February 2017.
There I gave a talk about a particularly important point in the history of programming language semantics,
I attended the Third Symposium for the History and Philosophy of Programming in Paris on 25th June 2016, and presented on the joint work I have been doing with Cliff Jones. The title of the presentation was 'Formal semantics of ALGOL 60: a comparison of four descriptions'. You can read the extended abstract for the talk or see the slides by clicking the appropriate button below.
'Challenges for semantic description: comparing responses from the main approaches' is a paper in progress, authored by Cliff Jones and me. The paper is a more technical explanation of some of the aspects of programming languages that make writing semantics tricky, and a comparison of some of the solutions proposed. It includes the semantics of an example core language, and a more realistic concurrent object-oriented language. This paper is almost finished and is due to be submitted to a journal soon.
'Formalism in the Forest: the 1964
'Formal semantics of ALGOL 60: a comparison of four descriptions' is also the title of a paper written by Cliff Jones and myself. The technical report version of the paper is published (with a slightly different title), as linked below. There is also a version submitted to the proceedings of HaPoP-2016, which will be published in due course.
I am interested in the history of computing, in particular the history of theoretical computer science. I also take an interest in the formal and theoretical aspects of computer science. This includes semantics of programming languages, modelling of systems (including and especially concurrent systems), and verification of programs and systems.
With the help of a summer student, Callan Heard, I adapted the timeline from Simile Widgets to include some important events in the history of programming language semantics. It can be found by clicking here.
You can contact me on the following address: t dot astarte at ncl dot ac dot uk (replace with appropriate punctuation).