Olga Petrovska

According to our database, Olga Petrovska authored at least 10 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

GenAI Integration in Upper-Level Computing Courses.

Dennis J. Bouvier, Bruno Pereira Cipriano, Richard Glassey, Raymond Pettit, Emma Anderson, Anastasiia Birillo, Ryan E. Dougherty, Orit Hazzan, Olga Petrovska, Nuno Pombo, Ebrahim Rahimi, Charanya Ramakrishnan, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty, Govindha Ramaiah Yeluripati

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2, 2025

Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI.

Olga Petrovska, Rebecca Pearsall, Lee Clift

Proceedings of the 9th Conference on Computing Education Practice, 2025

Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment.

Lee Clift, Olga Petrovska

Proceedings of the 9th Conference on Computing Education Practice, 2025

Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education.

Oana Andrei, Syed Waqar Nabi, Matthew Barr, Olga Petrovska

Proceedings of the 9th Conference on Computing Education Practice, 2025

2024

Incorporating Generative AI into Software Development Education.

Olga Petrovska, Lee Clift, Faron Moller, Rebecca Pearsall

Proceedings of the 8th Conference on Computing Education Practice, 2024

2023

Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme.

Olga Petrovska, Lee Clift, Faron Moller

Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023

2022

Report on BCTCS 2022.

Olga Petrovska, Monika Seisenberger

Bull. EATCS, 2022

2021

Enhanced realizability interpretation for program extraction

Olga Petrovska

PhD thesis, 2021

2020

Prawf: An Interactive Proof System for Program Extraction.

Ulrich Berger, Olga Petrovska, Hideki Tsuiki

Proceedings of the Beyond the Horizon of Computability, 2020

2018

Optimized Program Extraction for Induction and Coinduction.

Ulrich Berger, Olga Petrovska

Proceedings of the Sailing Routes in the World of Computation, 2018