Ms Casey Hopkins

Research Highlights

1. 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
2. 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
3. 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

All Research

• CSB115MC Python Programming II

  Python has been steadily growing in popularity over the past decade as the programming language of choice for both beginner programmers and experienced software developers. This module teaches the object oriented approach that can be utilised within the Python programming language, along with methods of data manipulation and visualisation. Learners will develop skills to use classes, methods and objects within Python to solve problems. They will also learn to manipulate data and form valid conclusions from a range of data sets.

• 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.

• CSF328 Security Vulnerabilities and Penetration Testing

  The aim of this course is to examine methodological and practical aspects of cyber security threats and analysis techniques.

• 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.