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

Trosolwg

Ymunodd Dr Troy Kaighin Astarte ag Abertawe fel darlithydd (gan ganolbwyntio ar addysgu uwch) ym mis Hydref 2021. Mae ymchwil Troy yn canolbwyntio’n bennaf ar ddau brif faes hyd yn hyn: hanes cyfrifiadureg ac agweddau ffurfiol ar gyfrifiadura.

Ar hyn o bryd mae Troy yn rhoi llai o sylw i'w gwaith ymchwil wrth iddynt ganolbwyntio ar eu gwaith addysgu a goruchwylio - gwaith y mae Troy yn dwlu arno!

Mae Troy yn gysylltiedig ag amryw gymunedau, gan gynnwys Cymdeithas Hanes Mathemateg Prydain (lle maent yn aelod o'r cyngor ac yn wefeistr) a Phwyllgor Cyfrifiadura Hanesyddol Newcastle. Maent yn awyddus i agor Casgliad Hanes Cyfrifiadura Abertawe ar gyfer ymchwil ac addysgu sy'n canolbwyntio ar wrthrychau. Mae Troy yn aelod o grŵp ymchwil rhyngddisgyblaethol PROGRAMme, sy'n ystyried y cwestiwn "Beth yw rhaglen" o safbwynt hanesyddol, athronyddol a thechnegol.

Fel person sy'n uniaethu â’r rhagenwau eu/nhw, mae Troy yn ymrwymedig i Gydraddoldeb, Amrywiaeth a Chynhwysiant a gwella perfformiad gwan yn y maes hwn.

Meysydd Arbenigedd

Hanes cyfrifiadura
Hanes cyfrifiadureg
Technoleg a chymdeithas
Hanes llafar
Semanteg ffurfiol
Ieithoedd rhaglennu
Modelu cydamseru

Uchafbwyntiau Gyrfa

Diddordebau Addysgu

Ar hyn o bryd yn addysgu:

CS-115: Rhaglennu 2

CSC306(B): Dylunio Apiau Symudol

Wedi addysgu:

CSC3321: Deall Ieithoedd Rhaglennu (Prifysgol Newcastle)

Yn awyddus i oruchwylio prosiectau yn y meysydd arbenigedd a nodir 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. (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

Holl Ymchwil

Erthyglau Cylchgronau

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

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

Untitled (cyfredol)

PhD

Goruchwyliwr arall: Prof John Tucker

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.
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.

Grantiau a Phrosiectau Allweddol

Separation & Interference: Learning from the History of Concurrency 2019

Ymddiriedolaeth Leverhulme, gyda Cliff Jones (Newcastle)

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

Trosolwg

Meysydd Arbenigedd

Uchafbwyntiau Gyrfa

Uchafbwyntiau Ymchwil

Holl Ymchwil

Untitled (cyfredol)

CS-115 Programming 2

CSC306B Writing Mobile Apps

Separation & Interference: Learning from the History of Concurrency 2019

Darlithydd (addysgu uwch), Prifysgol Abertawe