Ms Casey Hopkins

Uwch-ddarlithydd, Computer Science

+44 (0) 1792 513742

c.l.hopkins@abertawe.ac.uk

Siaradwr Cymraeg Sylfaenol

200A
Ail lawr
Adeilad Margam
Campws Singleton

Dolenni Ymchwil

Mae Casey Hopkins yn ddarlithydd yn yr Adran Gyfrifiadureg ym Mhrifysgol Abertawe.

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

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

CSF100 Work-Based Portfolio 1

In this module, students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.
CSF200 Work-Based Portfolio 2

In this module, students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.
CSF300 Project Implementation and Dissertation

This module forms the second part of the capstone project for the BSc in Applied Software Engineering project (together with CSF301). It consists of the implementation of a software system; a substantial written dissertation; and a video demonstration of the system.
CSF301 Project Specification and Development

This module forms the first part of the capstone project for the BSc in Applied Software Engineering (together with CSF300). It consists of the project proposal, presentation, progress report and development of a software system.
CSF337 Data Visualisation

Data Visualisation is concerned with the automatic or semi-automatic generation of digital images that depict data in a meaningful way(s). It is a relatively new field of computer science that is rapidly evolving and expanding. It is also very application oriented, i.e., real tools are built in order to help scientists from other disciplines.