Trosolwg
Cymrawd Addysgu @ Prentisiaeth Gradd mewn Peirianneg Meddalwedd
Dr Olga Petrovska
Teaching Fellow
Computer Science
Rhif ffôn
+44 (0) 1792 205678 ext 9098
Welsh language proficiency
Siaradwr Cymraeg Sylfaenol
213
Ail lawr
Adeilad Margam
Campws Singleton
Ail lawr
Adeilad Margam
Campws Singleton
Cyhoeddiadau
Uchafbwyntiau Ymchwil
-
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., 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.
-
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.
-
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.
-
Bouvier, D., Cipriano, B., Glassey, R., Pettit, R., Anderson, E., Birillo, A., Dougherty, R., Hazzan, O., Petrovska, O., Pombo, N., Rahimi, E., Ramakrishnan, C., Steinmaurer, A., Taneja, S., Usman, M., Vadaparty, A., & Yeluripati, G. (2025). GenAI Integration in Upper-Level Computing Courses. In Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (pp. 691-692). Association for Computing Machinery (ACM).
-
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
-
Petrovska, O. & PETROVSKA, O. (2021). Enhanced Realizability Interpretation for Program Extraction
-
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.
-
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.
-
Petrovska, O., Clift, L., & Pantekis, F. (2025). Video in Assessments for Soft Skill Development and Evaluation. In Fiona McNeill, Cristina Alexandru, Sue Sentance, Quintin Cutts (Ed.), Proceedings of the 2025 Conference on UK and Ireland Computing Education Research (pp. 1-1). Association for Computing Machinery (ACM).
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
Cyfraniadau Cynadleddau
-
Bouvier, D., Cipriano, B., Glassey, R., Petrovska, O., Anderson, E., Birillo, A., Dougherty, R., Pettit, R., Pombo, N., Rahimi, E., Ramakrishnan, C., Steinmaurer, A., Taneja, S., Usman, M., & Vadaparty, A. (2026). The Rest of the Robots: Generative AI in Post-introductory Computing Education. In Proceedings of the 2025 Working Group Reports on Innovation and Technology in Computer Science Education (pp. 61-107). ACM.
-
Petrovska, O. & Hopkins, C. (2026). Propaganda or Exposure? A Video-Based Group Assessment Exploring Ethics in a Fictional Technological Society. In Proceedings of the 10th Computing Education Practice (pp. 33-36). ACM.
-
Petrovska, O., Clift, L., & Pantekis, F. (2025). Video in Assessments for Soft Skill Development and Evaluation. In Fiona McNeill, Cristina Alexandru, Sue Sentance, Quintin Cutts (Ed.), Proceedings of the 2025 Conference on UK and Ireland Computing Education Research (pp. 1-1). Association for Computing Machinery (ACM).
-
Bouvier, D., Cipriano, B., Glassey, R., Pettit, R., Anderson, E., Birillo, A., Dougherty, R., Hazzan, O., Petrovska, O., Pombo, N., Rahimi, E., Ramakrishnan, C., Steinmaurer, A., Taneja, S., Usman, M., Vadaparty, A., & Yeluripati, G. (2025). GenAI Integration in Upper-Level Computing Courses. In Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (pp. 691-692). Association for Computing Machinery (ACM).
-
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.
-
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.
-
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.
-
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.
-
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.
Cynnyrch Ymchwil Arall
-
Petrovska, O. & PETROVSKA, O. (2021). Enhanced Realizability Interpretation for Program Extraction
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.
-
CSB120MC Software Testing
Ever wondered how an aeroplane is tested? How do software testers and developers know they can trust the software they have produced to not fail mid-flight? Software Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test types and methods that learners will be able to apply to a variety of scenarios; e.g. Boundary value analysis, path coverage, decision tables, and more. The methods and techniques covered also appear in the International Software Testing Qualifications Board (ISTQB) tester certification which is widely recognised.
-
CSF1007 Legal, Social, Ethical and Professional Issues
In today¿s interconnected world, technology and computer science play a pivotal role in shaping our society. This module explores the critical importance of understanding the professional, societal, ethical, and legal issues associated with these fields. From professional responsibility and legal frameworks to understanding how technology influences society improving quality of life and addressing global challenges; students will learn to appreciate the impact of technology and the ethical dilemmas arising from it.
-
CSF107 Professional Issues of Software Engineering
This module explores the main professional, societal and ethical issues associated with software development and computer science.
-
CSF2000 Work-Based Portfolio 2
This module considers the work-based portfolios submitted across all modules in Year 1. The work-based portfolios enable students to demonstrate the application of knowledge gained from the co-requisite modules to their workplace. Although this module carries no credit, the pass/fail assessment is based on the student¿s achievements in the work-based portfolios. The module must be passed to progress to the next year of study.
-
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.
-
CSF3000 Software Engineering Project
This module is the capstone project for the BSc in Applied Software Engineering. It consists of the implementation of a software system with the following submissions: project proposal, presentation, progress report, a substantial written dissertation and a video demonstration of the system. 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. Projects have many significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to. As well as the major project development, this module develops the fundamental skills of successfully managing 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 as well as evaluating them at the project¿s completion.
-
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.