Dr Troy Astarte

Lecturer, Computer Science

+44 (0) 1792 602813

t.k.astarte@swansea.ac.uk

Office - 407
Fourth Floor
Computational Foundry
Bay Campus

Available For Postgraduate Supervision

About

Dr. Troy Kaighin Astarte (call them ‘Troy’) joined Swansea as a lecturer (enhanced teaching focus) in October 2021. Troy’s research lies mainly in two areas to date: history of computer science, and formal aspects of computing.

Research is taking a back seat for now while Troy gets stuck into teaching and supervision, which they deeply love!

Troy is associated with various communities, including the British Society for the History of Mathematics (where they are a council member and webmaster), and the Newcastle University Historic Computing Committee. They are keen to open up Swansea’s History of Computing Collection for object-centred research and teaching. Troy is a member of the PROGRAMme interdisciplinary research group which takes a historical, philosophical, and technical look at the question “What is a program?”

As an agender person (pronouns: they/them) Troy is committed to EDI and improving computing’s lacklustre performance in this area.

Areas Of Expertise

History of computing
History of computer science
Technology and society
Oral history
Formal semantics
Programming languages
Concurrency modelling

Career Highlights

Teaching Interests

Currently teaching:

CS-115: Programming 2
CSC306(B): Designing Mobile Apps

Has taught:

CSC3321: Understanding Programming Languages (Newcastle University)

Looking to supervise projects in the areas of expertise mentioned above.

Research Award Highlights Collaborations

Publications

Research Highlights

Astarte, T. (n.d.) Tense & temporality: Computing and the logic of time. In Arianna Borrelli, Helena Durnová (Ed.),meson press
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65273
Astarte, T., Moller, F., Quille, K., & Russell, S. (2023). UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER: UK & Ireland Computing Education ResearchACM.
https://doi.org/10.1145/3610969, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64645
http://dx.doi.org/10.1145/3610969
Astarte, T. (2023). From Monitors to Monitors: A Primitive History. Minds and Machines, 0
https://doi.org/10.1007/s11023-023-09632-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63086
http://dx.doi.org/10.1007/s11023-023-09632-2
Astarte, T. (2022). “Diﬃcult things are diﬃcult to describe”: The role of formal semantics in European computer science, 1960–1980. In Abbate, Janet and Dick, Stephanie (Ed.), Abstractions and Embodiments: New Histories of Computing and Society Johns Hopkins University Press
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59428
https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments
Sekerinski, E., Moreira, N., Oliveira, J., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P., & Delmas, D. (2020). Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II Springer International Publishing.
https://doi.org/10.1007/978-3-030-54997-8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59377
Astarte, T. (2019). Formalising Meaning: a History of Programming Language Semantics
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59379
http://homepages.cs.ncl.ac.uk/troy.astarte/res/pdf/TK_Astarte_Formalising_Meaning_2019.pdf
Astarte, T. & Jones, C. (2019). Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context. Philosophical Studies Series (pp. 83-152). Springer International Publishing
https://doi.org/10.1007/978-3-319-97226-8_4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59375
Jones, C. & Astarte, T. (2018). Challenges for Formal Semantic Description: Responses from the Main Approaches. In Engineering Trustworthy Software Systems (pp. 176-217). Springer International Publishing.
https://doi.org/10.1007/978-3-030-02928-9_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59374

All Research

Journal Articles

Astarte, T. (2023). From Monitors to Monitors: A Primitive History. Minds and Machines, 0
https://doi.org/10.1007/s11023-023-09632-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63086
http://dx.doi.org/10.1007/s11023-023-09632-2

Authored Books

Sekerinski, E., Moreira, N., Oliveira, J., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P., & Delmas, D. (2020). Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II Springer International Publishing.
https://doi.org/10.1007/978-3-030-54997-8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59377

Book Chapters

Astarte, T. (2022). “Diﬃcult things are diﬃcult to describe”: The role of formal semantics in European computer science, 1960–1980. In Abbate, Janet and Dick, Stephanie (Ed.), Abstractions and Embodiments: New Histories of Computing and Society Johns Hopkins University Press
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59428
https://www.press.jhu.edu/books/title/12637/abstractions-and-embodiments
Astarte, T. & Jones, C. (2019). Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context. Philosophical Studies Series (pp. 83-152). Springer International Publishing
https://doi.org/10.1007/978-3-319-97226-8_4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59375
Astarte, T. (n.d.) Tense & temporality: Computing and the logic of time. In Arianna Borrelli, Helena Durnová (Ed.),meson press
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65273

Conference Contributions

Astarte, T., Moller, F., Quille, K., & Russell, S. (2023). UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER: UK & Ireland Computing Education ResearchACM.
https://doi.org/10.1145/3610969, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64645
http://dx.doi.org/10.1145/3610969
Jones, C. & Astarte, T. (2018). Challenges for Formal Semantic Description: Responses from the Main Approaches. In Engineering Trustworthy Software Systems (pp. 176-217). Springer International Publishing.
https://doi.org/10.1007/978-3-030-02928-9_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59374

Other Research Outputs

Astarte, T. (2019). Formalising Meaning: a History of Programming Language Semantics
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa59379
http://homepages.cs.ncl.ac.uk/troy.astarte/res/pdf/TK_Astarte_Formalising_Meaning_2019.pdf

Supervision

Untitled (current)

PhD

Other supervisor: Prof John Tucker

Taught Modules

CS-115 Programming 2

This module is a continuation of the module CS-110 Programming 1. In it, students will continue to enhance their skills in programming, as well as gain a basic understanding of algorithms and data structures.
CSC306B Writing Mobile Apps

This module will introduce students to developing well-designed and functional apps for mobile devices. Special emphasis is placed on general design paradigms for mobile devices, taking into account limitations such as battery life, limited memory and low user attention compared with desktop computers.

Key Grants and Projects

Separation & Interference: Learning from the History of Concurrency 2019

Leverhulme Trust, with Cliff Jones (Newcastle)

Career History

Lecturer (enhanced teaching), Swansea University

October 2021 - Present

Public Engagements

Troy is committed to engaging the public with the history of computing. They organised the Celebrating 50 Years of Campus-Wide Computing event inaugurating a new display of exhibits at Newcastle University in 2019.

Dr Troy Astarte

Telephone number

Email address

About

Areas Of Expertise

Career Highlights

Research Highlights

All Research

Untitled (current)

CS-115 Programming 2

CSC306B Writing Mobile Apps

Separation & Interference: Learning from the History of Concurrency 2019

Lecturer (enhanced teaching), Swansea University