Dr Troy Astarte

Darlithydd

Computer Science

+44 (0) 1792 602813

t.k.astarte@abertawe.ac.uk

407
Pedwerydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae

Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig

Dolenni Ymchwil

ResearcherID

Trosolwg

Ymunodd Dr Troy Kaighin Astarte â Phrifysgol Abertawe fel darlithydd (yn canolbwyntio ar addysgu uwch) ym mis Hydref 2021. Mae ymchwil Troy yn ymwneud yn bennaf â dau faes hyd yn hyn, sef hanes cyfrifiadureg ag agweddau ffurfiol ar gyfrifiadura. Mae addysgeg cyfrifiadureg yn faes diddordeb sy'n tyfu. Mae’n gyfarwyddwr rhaglen y radd BSc Technoleg Ddigidol newydd a fydd yn croesawu myfyrwyr ym mis Medi 2024.

Ym mis Mai 2024, ymgymerodd Troy â rôl Prif Olygydd y cyfnodolyn, IEEE Annals of the History of Computing.

Mae Troy yn aelod o Bwyllgor Hanes yr ACM (y Gymdeithas ar gyfer Peiriannau Cyfrifiadura), Pwyllgor Hanes Cymdeithas Cyfrifiaduron IEEE, a Phwyllgor Cyfrifiadura Hanesyddol Prifysgol Newcastle. Mae’n awyddus i agor Casgliad Hanes Cyfrifiadura Prifysgol Abertawe at ddibenion ymchwil ac addysgu sy'n canolbwyntio ar wrthrychau. Mae Troy yn aelod o’r grŵp ymchwil ryngddisgyblaethol PROGRAMme sy'n ystyried y cwestiwn “Beth yw rhaglen?” o safbwynt hanesyddol, athronyddol a thechnegol.

Fel unigolyn sydd heb rywedd penodol (rhagenwau Saesneg: ‘they/them’), mae Troy yn gwerthfawrogi teitlau ac enwau niwtral o ran rhywedd. Hoffai gael ei nabod fel ‘Troy’ neu, mewn sefyllfaoedd mwy ffurfiol, ‘Dr Troy’. Peidiwch â defnyddio ‘athro’ neu ‘syr’.

Meysydd Arbenigedd

• Hanes Cyfrifiadura
Yr Adran Gyfrifiadureg
Hanes Data
Technoleg a Chymdeithas
Hanes Llafar
Semanteg Ffurfiol
Ieithoedd Rhaglennu
Modelu nodweddion cyfredol

Uchafbwyntiau Gyrfa

Diddordebau Addysgu

Cyfarwyddwr y Rhaglen:

BSc Technoleg Ddigidol

Yn addysgu'r canlynol ar hyn o bryd:

CS-115: Rhaglennu 2
CS-119: Dyfeisiau Digidol

Wedi addysgu:

CSC306(B): Ysgrifennu apiau ffonau symudol
CSC3321: Deall Ieithoedd Rhaglennu (Prifysgol Newcastle)

Yn bwriadu goruchwylio prosiectau yn y meysydd arbenigedd a nodwyd uchod.

Ymchwil Prif Wobrau Cydweithrediadau

Cyhoeddiadau

Uchafbwyntiau Ymchwil

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. (2024). From Monitors to Monitors: A Primitive History. Minds and Machines, 34(S1), 51-71.
https://doi.org/10.1007/s11023-023-09632-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63086
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

Holl Ymchwil

Erthyglau Cylchgronau

Astarte, T. (2024). From Monitors to Monitors: A Primitive History. Minds and Machines, 34(S1), 51-71.
https://doi.org/10.1007/s11023-023-09632-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63086

Llyfrau Awdurol

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

Penodau Llyfrau

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

Cyfraniadau Cynadleddau

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

Cynnyrch Ymchwil Arall

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

Goruchwyliaeth

From Pitches to Pixels: The Datafication of European Football (cyfredol)

PhD

Goruchwyliwr arall: Prof John Tucker
Technolegau Drawsryweddol: Exploring transgender digital inequality in Wales (cyfredol)

PhD

Goruchwyliwr arall: Dr Charlotte Jones

Modiwlau a Addysgir

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.
CS-119 Digital Devices

The world is increasingly digital, and digital devices control many aspects of our lives. These range from the obvious computers sitting on our desks to the hidden chips embedded inside our domestic products and bodies . Understanding how digital devices function may no longer be crucial to using them, but to properly engage with creating and adapting digital devices requires an understanding of the process by which devices become digital. Devices are not born digital : rather, extant systems and constructs become digitised. This module explores this process through a series of case studies, some obvious, and some less so. Students will learn the basic engineering and physical concepts underlying devices and explore a series of devices through a process of conceptual tear-down. Tools and techniques from science and technology studies will engage students with the pressures that drive the design decisions underpinning digital devices¿both technical and non-technical. Students will discover that people shape devices as much as devices shape people, and often in unexpected ways. The module equips students to better understand the devices that exist today and those that will exist in the future. It gives students the tools they need to make informed design choices when creating or adapting digital devices of their own.

Grantiau a Phrosiectau Allweddol

Separation & Interference: Learning from the History of Concurrency 2019

Ymddiriedolaeth Leverhulme, gyda Cliff Jones (Newcastle)

Rolau Eraill

Editor in Chief, IEEE Annals of the History of Computing

2024 - 2026

Hanes Gyrfa

Darlithydd (addysgu uwch), Prifysgol Abertawe

Hydref 2021 - Presennol

Ymgysylltu Cyhoeddus

Mae Troy yn ymrwymedig i ennyn diddordeb y cyhoedd mewn hanes cyfrifiadura. Trefnodd Troy ddigwyddiad 'Dathlu 50 Mlynedd o Gyfrifiadura ar Draws y Campws' gan agor arddangosfa newydd o arddangosion ym Mhrifysgol Newcastle yn 2019.

Dr Troy Astarte

Rhif ffôn

Cyfeiriad ebost

LinkedIn Account

Dolenni Ymchwil

Trosolwg

Meysydd Arbenigedd

Uchafbwyntiau Gyrfa

Uchafbwyntiau Ymchwil

Holl Ymchwil

From Pitches to Pixels: The Datafication of European Football (cyfredol)

Technolegau Drawsryweddol: Exploring transgender digital inequality in Wales (cyfredol)

CS-115 Programming 2

CS-119 Digital Devices

Separation & Interference: Learning from the History of Concurrency 2019

Editor in Chief, IEEE Annals of the History of Computing

Darlithydd (addysgu uwch), Prifysgol Abertawe