Ms Casey Hopkins

Senior Lecturer

Computer Science

+44 (0) 1792 513742

c.l.hopkins@swansea.ac.uk

Basic Welsh Speaker

Office - 215
Second Floor
Computational Foundry
Bay Campus

Research Links

https://orcid.org/0000-0003-0640-7728

About

Casey Hopkins is a lecturer in the Department of Computer Science at Swansea University.

Publications

Research Highlights

Hopkins, C. & Moller, F. (2024). Institute of Coding in Wales Digital Skills Bootcamps – Micro-Credentials: A Pilot Project. In Proceedings of the 8th Conference on Computing Education PracticeACM.
https://doi.org/10.1145/3633053.3633055, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65243
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. Communications in Computer and Information Science (pp. 173-190). Springer International Publishing
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032
http://dx.doi.org/10.1007/978-3-030-71374-4_9
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. In International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (pp. 173-190). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57838
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461
Hopkins, C., Moller, F., & Roberts, L. (2023). Institute of Coding in Wales Digital Skills Bootcamps - A Model for Stackable Micro-credentials. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611134, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64679
http://dx.doi.org/10.1145/3610969.3611134

All Research

Book Chapters

Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. Communications in Computer and Information Science (pp. 173-190). Springer International Publishing
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032
http://dx.doi.org/10.1007/978-3-030-71374-4_9

Conference Contributions

Hopkins, C. & Moller, F. (2024). Institute of Coding in Wales Digital Skills Bootcamps – Micro-Credentials: A Pilot Project. In Proceedings of the 8th Conference on Computing Education PracticeACM.
https://doi.org/10.1145/3633053.3633055, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65243
Hopkins, C., Moller, F., & Roberts, L. (2023). Institute of Coding in Wales Digital Skills Bootcamps - A Model for Stackable Micro-credentials. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611134, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64679
http://dx.doi.org/10.1145/3610969.3611134
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. In International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (pp. 173-190). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57838
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461

Taught Modules

CS-115 Programming 2

This module is a continuation of the module CS-110 Programming 1. In it, students will continue to enhance their skills in programming, as well as gain a basic understanding of algorithms and data structures.
CSC390 Teaching Computing via a School Placement

This module is for students with an interest in entering teaching, and involves a weekly placement in a local school or college under the mentorship of a Computing/ICT teacher. The student will engage both in observation and in various teaching activities. The module will be assessed on the basis of the mentor's report and on written project work.

Ms Casey Hopkins

Telephone number

Email address

Welsh language proficiency