📄📄📄 3 Papers accepted @ FLoC 2026!! 🎉🎉🎉
Excited to share that three of our papers have been accepted at FLoC 2026, covering automated feedback for Prolog education, data-driven mutation testing for Prolog, and …
Can Automated Feedback Turn Students into Happy Prologians?
In this work, we present ProHelp, an automated assessment platform for Prolog built on top of the GitSEED framework, and we evaluate it through a survey of 144 students from a …
Ricardo Brancas
•
•
1 min read
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
In this work, we present an empirical study of 7,201 Prolog submissions from 265 undergraduate students, from which we derive a fine-grained taxonomy of student bugs through manual …
Ricardo Brancas
•
•
1 min read
Artificial Intelligence for CS Education
Empowering the next generation of programmers requires intelligent systems that not only evaluate code but also teach, guide, and inspire. This research explores how Artificial …
Automated Assessment Tools for Programming Education
Delivering personalised, scalable feedback to students in large programming courses remains one of the most persistent challenges in Computer Science and Software Engineering …