Teaching and Mentorship
Select student thesis groups advised / co-advised
- Reyes, D. M., Santos, J. J., & Tsai, A. L. (2022). Designing an Educational Point-and-Click Adventure Game About Cognitive Flexibility. In International Conference on Human-Computer Interaction (pp. 88-95). Springer, Cham. 📝🎮
- Limsui, C. Y. (2021, July). Perrugia: A First-Person Strategy Game Studying Movement Patterns in Museums. In International Conference on Human-Computer Interaction (pp. 345-354). Springer, Cham. 📝
- Yao, M. S., Bandiola, J. C., Lim, J. M. V., & Casano, J. (2021, July). Conflicts: A Game that Simulates Cognitive Dissonance in Decision Making. In International Conference on Human-Computer Interaction (pp. 486-493). Springer, Cham. 📝🎮
- Herras, I. Y., Abanes, D. R. N., Del Rosario, N. B., & Casano, J. D. (2019). Designing Pre-test Questions as Phone Notifications: Studying the Effects of a Mobile Learning Intervention. 📝
- Lopez, J.D., Caceres, P.J., Damasig, D.S., Casano, J., Designing the integration of hexad user type gamification elements to XIPHIAS, ICCE 2018 - 26th International Conference on Computers in Education, Work-in-Progress Poster Proceedings, 2018, pp. 25–27
Subjects taught
All materials in these courses are copyright of Ateneo de Manila University 2022, except those materials drawn from previous iterations of the course under Creative Commons.
CSCI70: Structure and Interpretation of Computer Programs
CSCI70 introduces students to programming concepts and models that serve as the basis for a vast majority of existing programming languages, with a particular focus on concepts and models that they may not have seen before. The course covers declarative vs. imperative models; functional, imperative, and logic programming; objects; concurrency; types systems; meta-programming. Students then explore how these concepts play out in real-world programming languages. In addition, students learn how formal semantics may be defined for programming languages in relation to the concepts, and how interpreters may be implemented to match those formal semantics.