About
Dr Ulrich Berger is a Reader in the Department of Computer Science, Swansea University.
Dr Ulrich Berger is a Reader in the Department of Computer Science, Swansea University.
Students will be assigned specific study topics associated with their intended research topic. They will be expected to undertake specialised individual study under the direction of their tutor. Both students and lecturers will give talks on project related topics. The student talks are assessed.
This module will provide students with the opportunity to explore a particular topic in computer science in some considerable depth. It is only open to students studying MSc Computer Science, MSc Advanced Computer Science, MSc Advanced Software Technology, MSc Data Science, MSc Cyber Security, and MSc in Artificial Intelligence.
This module provides an introduction to logic and its applications to computer science, in particular to the formal specification and verification of computer programs.
This module will give an overview of the landscape and the state of the art of current modelling and verification techniques. Students will gain hands-on experience in using a tool for modelling and verification.
This module will give an overview of the landscape and the state of the art of current modelling and verification techniques. One particular tool for software verification will be studied in depth. Students will gain hands-on experience in using that tool.
Students will be assigned specific study topics associated with their project topic. They will be expected to undertake specialised individual study under the direction of their tutor. Both students and lecturers will give talks on project related topics. The student talks are assessed.
This module will provide students with the opportunity to explore a particular topic in computer science in some considerable depth. It is only open to students studying MSc Computer Science, MSc Advanced Computer Science, MSc Advanced Software Technology, MSc Data Science, MSc Cyber Security, and MSc in Artificial Intelligence.