Pantekis, F., & Petrovska, O. (2026). Pre-Recorded 'Vivas' for Assessing Code Understanding Amidst AI-Assisted Programming. In Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education, Volume 2 (ITiCSE 2026), July 10-15, 2026, Madrid, Spain. Association for Computing Machinery, New York, NY, USA, 2 pages. In press.https://doi.org/10.1145/3803401.3811969 (DOI registered, not yet active).
Roberts, J., & Petrovska, O. (2026). Authentic Assessment in Discrete Mathematics: Real-World Modelling Using Logic and Set Theory. In Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education, Volume 2 (ITiCSE 2026), July 10-15, 2026, Madrid, Spain. Association for Computing Machinery, New York, NY, USA, 2 pages. In press.https://doi.org/10.1145/3803401.3811976 (DOI registered, not yet active).
Cipriano, B.P., Petrovska, O., Pombo, N., Battestilli, L., Farinetti, L., Glassey, R., Kasinidou, M., Olayinka, O., Shah, A., Steinmaurer, A., Vaidhiyanathan, R., & Weichert, J. (2026). Towards Improving CS Students' Generative AI Literacy. In Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education, Volume 2 (ITiCSE 2026), July 10-15, 2026, Madrid, Spain. Association for Computing Machinery, New York, NY, USA, 2 pages. In press.https://doi.org/10.1145/3803401.381205 (DOI registered, not yet active).
Bouvier, D. J., Cipriano, B. P., Glassey, R., Petrovska, O., Anderson, E., Birillo, A., Dougherty, R., R., Pettit, 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 (ITiCSE-WGR 2025). Association for Computing Machinery, New York, NY, USA, 61–107. https://doi.org/10.1145/3760545.3783970
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 (CEP '26). Association for Computing Machinery, New York, NY, USA, 33–36. https://doi.org/10.1145/3772338.3772352
Petrovska, O., Clift, L., & Pantekis, F. (2025). Video in Assessments for Soft Skill Development and Evaluation. In Proceedings of the 2025 Conference on UK and Ireland Computing Education Research (UKICER '25). Association for Computing Machinery, New York, NY, USA, Article 26, 1. https://doi.org/10.1145/3754508.3754531
Petrovska, O., Clarkson, C., Pantekis, F., Venn-Wycherley, M., & Boy, F. (2025). Modular Generative AI Training to Promote AI Literacy Across the University. In Proceedings of SUSALT 2025 - Enhancing Our Practice: Share - Learn - Create. Zenodo. https://doi.org/10.5281/zenodo.18637047
Bouvier, D.J., Cipriano, B.P., 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.R. (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 (ITiCSE 2025). Association for Computing Machinery, New York, NY, USA, 691–692. https://doi.org/10.1145/3724389.3731276
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 (CEP '25) (p. 34). Association for Computing Machinery. 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 (CEP '25) (pp. 5–8). Association for Computing Machinery. https://doi.org/10.1145/3702212.3702214
Andrei, O., Nabi, S. W., 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 (CEP '25) (pp. 36–37). Association for Computing Machinery. https://doi.org/10.1145/3702212.3702225
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 Practice. ACM, New York, NY, United States. https://dl.acm.org/doi/10.1145/3633053.3633057
Petrovska, O., Clift, L., & Moller, F. (2023). Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. In: Astarte, T., Moller, F., Quille, K., Russell, S. (eds), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education. ACM, New York, NY, United States. https://doi.org/10.1145/3610969.3611132
Berger, U., Petrovska, O., Tsuiki, H. (2020). An Interactive Proof System for Program Extraction. In: Anselmo, M., Della Vedova, G., Manea, F., Pauly, A. (eds) Beyond the Horizon of Computability. CiE 2020. Lecture Notes in Computer Science(), vol 12098. Springer, Cham. https://doi.org/10.1007/978-3-030-51466-2_12
Berger, U., Petrovska, O. (2018). Optimized Program Extraction for Induction and Coinduction. In: Manea, F., Miller, R., Nowotka, D. (eds) Sailing Routes in the World of Computation. CiE 2018. Lecture Notes in Computer Science(), vol 10936. Springer, Cham. https://doi.org/10.1007/978-3-319-94418-0_7
Petrovska, O., Lopatyuk, N. (2007). Functional-semantic Field of Quantity in the Novel “The Collector” by John Fowles. In: Proceedings of the 2nd International Conference “Current Issues of Germanic Philology in Ukraine and the Bologna Process”, Chernivtsi: Knyhy-ХХІ, pp. 169-171. [link]
Petrovska. O., Oliynyk, T. (2005). Role of Meaning Changes in Modern English Figurative Speech. In: Studentskyi naukovyi visnyk TNPU no.10, Ternopil, pp. 234-236. [link]
Talks
GenAI for Researchers: Capabilities, Risks, and Responsible Use at a workshop within the NextGen AI Bootcamp (20.02.2026, Swansea University, UK)
The Art of Teaching Theory Across Diverse Backgrounds at the BCTCS 2025 (14-16.04.2025, University of Strathclyde, Glasgow, UK) [Slides]
Computer Science Outreach in Higher Education: Challenges and Opportunities (talk with Megan Venn-Wycherley) at the Outreach Workshop (08.01.2025, Durham Univeristy, UK)
Assessing Software Engineering Students’ Analytical Skills in the Era of Generative AI CEP 25 (07.01.2025, Durham Univeristy, UK)
Prawf: An Interactive Proof Assistant for Program Extraction at CiE 2020 (29.06-2.07.2020, University of Salerno, Fisciano, IT / online) [Recording]
Intuitionistic Fixed Point Logic and Program Extraction (with Prawf) at BCTCS 2020 (6-8.04.2020, Swansea University, UK / online)
Intuitionistic Fixed Point Logic and Program Extraction at CCC 2018 (24-28.09.2018, University of Algarve, Faro, PT)
Optimized Program Extraction for Induction and Coinduction at CiE 2018 (30.07-3.08.2018, University of Kiel, DE)
Natural Language Proofs for Program Extraction at PCC 2017 (26-27.07.2017, University of Göttingen, DE)
Natural Language Proof Checking in Predicate Logic at Proofs, programs, and verification workshop (19.04.2017, University of Canterbury, Christchurch, NZ)
