Dr Mina Cyrus

Teaching Fellow

Computer Science

m.a.cyrus@swansea.ac.uk

Research Links

About

Mina Cyrus is a teaching fellow at the Department of Computer Science, Swansea University. The goal of her research is to formalise and address the real world problems by using constructive logic (BHK interpretation), and then prove the correctness of the solutions by using interactive theorem provers (mainly Lean 4/Coq). In addition, she is also very passionate about teaching.

Feel free to get in touch with her if you have any research project related to theorem proving, particularly if it involves Lean.

Areas Of Expertise

Constructive Logic
Domain Theory
Interactive Theorem Proving (Lean Theorem Prover)
Cryptography

Career Highlights

Teaching Interests

Foundation of Computing

Theorem Proving (Lean 4)

Discrete Mathematics

Cyber securit

Taught Modules

CSB103MC Fundamentals of Cybersecurity

Cybersecurity is a growing concern for all businesses, large and small. Cyber attacks are become ever more commonplace, and their impact on a company or organisation can easily be disastrous. This module explores the fundamentals of cybersecurity; outlines the common types of cyber attacks and how to mitigate against them; and examines both the practical and theoretical aspects of computer and network security.
CSB300MC Software Engineering Project Management

Software projects have long had a reputation for cost and time overruns - but they need not! There are well-established, and emerging, techniques and processes to manage them well and effectively. This module develops the fundamental skills of successfully planning and managing complex software systems, whilst also obtaining an understanding of the implications/issues such projects may encounter. Learners will develop an understanding of typical project management techniques and methods as well as those more software-focused. Agile methodologies like Scrum, which are becoming a de-facto standard in the industry will be covered, as well as more traditional methodologies that are still widely used. Furthermore, many projects have significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to.

Dr Mina Cyrus

Email address

LinkedIn Account

Research Links

About

Areas Of Expertise

Career Highlights

Taught Modules

CSB103MC Fundamentals of Cybersecurity

CSB300MC Software Engineering Project Management