Dr Olga Petrovska

Cymrawd Dysgu

Computer Science

olga.petrovska@abertawe.ac.uk

Siaradwr Cymraeg Sylfaenol

213
Ail lawr
Adeilad Margam
Campws Singleton

Dolenni Ymchwil

https://orcid.org/0000-0003-1170-8816

ResearchGate

Google Scholar

Trosolwg

Cymrawd Addysgu @ Prentisiaeth Gradd mewn Peirianneg Meddalwedd

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Andrei, O., Nabi, S., Barr, M., & Petrovska, O. (2025). Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. In Proceedings of the 9th Conference on Computing Education Practice (pp. 36-37). ACM.
https://doi.org/10.1145/3702212.3702225, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68731
https://doi.org/10.1145/3702212.3702225
Petrovska, O., Pearsall, R., & Clift, L. (2025). Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI. In Proceedings of the 9th Conference on Computing Education Practice (pp. 34-34). ACM.
https://doi.org/10.1145/3702212.3702223, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68730
https://doi.org/10.1145/3702212.3702223
Clift, L. & Petrovska, O. (2025). Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment. In Proceedings of the 9th Conference on Computing Education Practice (pp. 5-8). ACM.
https://doi.org/10.1145/3702212.3702214, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68729
https://doi.org/10.1145/3702212.3702214
Petrovska, O., Clift, L., Moller, F., & Pearsall, R. (2024). Incorporating Generative AI into Software Development Education. In CEP '24: Proceedings of 8th Conference on Computing Education PracticeAssociation for Computing Machinery, New York, NY, United States.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65079
Berger, U. & Petrovska, O. (2018). Optimized Program Extraction for Induction and Coinduction. Sailing Routes in the World of Computation (pp. 70-80). Springer International Publishing
https://doi.org/10.1007/978-3-319-94418-0_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa39885
http://dx.doi.org/10.1007/978-3-319-94418-0_7
Petrovska, O. & PETROVSKA, O. (2021). Enhanced Realizability Interpretation for Program Extraction
https://doi.org/10.23889/SUthesis.57831, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57831
Petrovska, O., Berger, U., Petrovska, O., & Tsuiki, H. (2020). Prawf: An Interactive Proof System for Program Extraction. In Lecture Notes in Computer Science (pp. 137-148). Springer International Publishing.
https://doi.org/10.1007/978-3-030-51466-2_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57995
Petrovska, O., Clift, L., & Moller, F. (2023). Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611132, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64736
http://dx.doi.org/10.1145/3610969.3611132

Holl Ymchwil

Penodau Llyfrau

Berger, U. & Petrovska, O. (2018). Optimized Program Extraction for Induction and Coinduction. Sailing Routes in the World of Computation (pp. 70-80). Springer International Publishing
https://doi.org/10.1007/978-3-319-94418-0_7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa39885
http://dx.doi.org/10.1007/978-3-319-94418-0_7

Cyfraniadau Cynadleddau

Andrei, O., Nabi, S., Barr, M., & Petrovska, O. (2025). Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. In Proceedings of the 9th Conference on Computing Education Practice (pp. 36-37). ACM.
https://doi.org/10.1145/3702212.3702225, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68731
https://doi.org/10.1145/3702212.3702225
Petrovska, O., Pearsall, R., & Clift, L. (2025). Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI. In Proceedings of the 9th Conference on Computing Education Practice (pp. 34-34). ACM.
https://doi.org/10.1145/3702212.3702223, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68730
https://doi.org/10.1145/3702212.3702223
Clift, L. & Petrovska, O. (2025). Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment. In Proceedings of the 9th Conference on Computing Education Practice (pp. 5-8). ACM.
https://doi.org/10.1145/3702212.3702214, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68729
https://doi.org/10.1145/3702212.3702214
Petrovska, O., Clift, L., Moller, F., & Pearsall, R. (2024). Incorporating Generative AI into Software Development Education. In CEP '24: Proceedings of 8th Conference on Computing Education PracticeAssociation for Computing Machinery, New York, NY, United States.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65079
Petrovska, O., Clift, L., & Moller, F. (2023). Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611132, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64736
http://dx.doi.org/10.1145/3610969.3611132
Petrovska, O., Berger, U., Petrovska, O., & Tsuiki, H. (2020). Prawf: An Interactive Proof System for Program Extraction. In Lecture Notes in Computer Science (pp. 137-148). Springer International Publishing.
https://doi.org/10.1007/978-3-030-51466-2_12, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57995

Cynnyrch Ymchwil Arall

Petrovska, O. & PETROVSKA, O. (2021). Enhanced Realizability Interpretation for Program Extraction
https://doi.org/10.23889/SUthesis.57831, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57831

Modiwlau a Addysgir

CSB100MC Computational Thinking

Computational thinking refers to a collection of problem-solving techniques which software developers use to understand problems, break them down, and express their solutions in a step-by-step manner suited to programming on a computer. Whilst crucial for computer scientists and engineers, these problem-solving techniques are general: computational thinking is a fundamental skill, and its techniques are useful for general everyday problem solving. This module will explore the tools and techniques for reasoning about problems in a computational thinking way, using them to solve a wide variety of riddles, puzzles, and more practical problems.
CSF107 Professional Issues of Software Engineering

This module explores the main professional, societal and ethical issues associated with software development and computer science.
CSF206 Algorithms and Automata

This module introduces students to theoretical tools and techniques important in software development. The first half of the module is concerned with automata in the form of labelled transition systems and will enable the student to understand their role in modelling computing systems. The second half of the module is concerned with algorithms and data structures and will enable the student to understand how the selection of different algorithms and data structures affects the performance and efficiency of a program.
CSF300 Project Implementation and Dissertation

This module forms the second part of the capstone project for the BSc in Applied Software Engineering project (together with CSF301). It consists of the implementation of a software system; a substantial written dissertation; and a video demonstration of the system.
CSF301 Project Specification and Development

This module forms the first part of the capstone project for the BSc in Applied Software Engineering (together with CSF300). It consists of the project proposal, presentation, progress report and development of a software system.
CSF302 Project Planning and Management

Software projects have long had a reputation for cost and time overruns - but they need not, and there are well-established, and emerging, techniques and processes to manage them well and effectively: for example, agile methodologies like Scrum which are becoming a de-facto standard in the industry. Also, many projects have significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to. This module develops the fundamental skills of successfully building complex software systems, and the implications, including on wider society, of doing so. It will also prepare students for work on any project by equipping them with the skills to successfully plan them, and to commence that planning process.

Dr Olga Petrovska

Cyfeiriad ebost

Welsh language proficiency

LinkedIn Account

Dolenni Ymchwil

Trosolwg

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Holl Ymchwil

Penodau Llyfrau

Cyfraniadau Cynadleddau

Cynnyrch Ymchwil Arall

Modiwlau a Addysgir

CSB100MC Computational Thinking

CSF107 Professional Issues of Software Engineering

CSF206 Algorithms and Automata

CSF300 Project Implementation and Dissertation

CSF301 Project Specification and Development

CSF302 Project Planning and Management