Angelo Kyrilov

Learn More
In the last few decades, much research has focused on the evaluation and assessment of students' knowledge. The idea that computers can now be used to aid assessment is appealing. While implementing automatic marking of multiple choice questions is trivial, most educators agree that such form of assessment provides only limited insight into students'(More)
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedurè a la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadth-first search strategy. We describe the implementation and discuss the performance of the tool on several series of pattern formulae, as well as on some(More)
Information technology is now ubiquitous in higher education institutions worldwide. More than 85% of American universities use e-learning systems to supplement traditional classroom activities while some have started offering Massive Online Open Courses (MOOCs), which are completely online. An obvious benefit of these online tools is their ability to(More)
Artificial Intelligence (AI) is an important part of many undergraduate programs at universities around the world. A central component of AI courses are rule-based systems, and first-order logic is at the heart of many such systems. It is therefore crucial that students in AI courses master the skill of translating knowledge, expressed in English sentences,(More)
Some educational researchers have argued that instant feedback on exercises improves student engagement and learning. In the context of computer programming exercises, instant feedback in many classrooms and online courses takes the form of "correct" or "incorrect" responses. In order to assess the utility of such binary instant feedback, we examined the(More)
Spectra in the 7.10 to 8.60 A range from highly charged copper ions are observed from three different laser-produced plasmas (LPPs). The LPPs are formed by a 15-ns Nd:glass laser pulse (type I: E(pulse)=1-8 J, lambda=1.064 microm), a 1-ps Nd:glass laser pulse (type II: E(pulse)=1 J, lambda=1.055 microm), and a 60-fs Ti:sapphire laser pulse (type III:(More)
This poster reports on the design, implementation, testing and evaluation of an e-learning tool that helps students learn to program solutions to recursion type problems. The aim was to create a tool that assists learning, rather than one that simply displays information on a screen. It was tested by splitting volunteers into two groups. Both groups were(More)
Automated assessment and immediate feedback are staple features of modern e-learning systems. In the case of programming exercises, most systems only provide binary (correct/incorrect) feedback, which is often inadequate for students struggling with the material, as they may need expert guidance in order to successfully overcome obstacles to understanding.(More)
My research is focused on developing e-learning systems that provide high-quality feedback on student submitted programming exercises. To create such systems we use a new approach of applying case-based reasoning (CBR) techniques which proved to be successful in other areas such as technical support departments and financial institutions. The increased(More)
My research explores methods for automatic generation of high-quality feedback for computer programming exercises. This work is motivated by problems with current automated assessment systems, which usually provide binary (" Correct " / " Incorrect ") feedback on programming exercises. Binary feedback is not conducive to student learning, and has also been(More)