Olga Petrovska

According to our database, Olga Petrovska authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

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