Olga Petrovska

According to our database, Olga Petrovska authored at least 13 papers between 2018 and 2026.

Collaborative distances:

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

2026

Propaganda or Exposure? A Video-Based Group Assessment Exploring Ethics in a Fictional Technological Society.

Olga Petrovska, Casey Hopkins

Proceedings of the 10th Computing Education Practice, 2026

2025

Video in Assessments for Soft Skill Development and Evaluation.

Olga Petrovska, Lee Clift, Filippos Pantekis

Proceedings of the 2025 Conference on UK and Ireland Computing Education Research, 2025

The Rest of the Robots: Generative AI in Post-introductory Computing Education.

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

Proceedings of the 2025 Working Group Reports on Innovation and Technology in Computer Science Education, 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