Dr Mina Cyrus

Cymrawd Dysgu

Computer Science

m.a.cyrus@abertawe.ac.uk

Dolenni Ymchwil

Trosolwg

Mae Mina Cyrus yn gymrawd addysgu yn yr Adran Gyfrifiadureg ym Mhrifysgol Abertawe. Nod ei hymchwil yw ffurfioli a mynd i’r afael â phroblemau'r byd go iawn drwy ddefnyddio rhesymeg adeiladol (dehongli BHK), ac yna brofi cywirdeb y datrysiadau drwy ddefnyddio profwyr theorem ryngweithiol (yn benodol Lean 4/Coq). Yn ogystal, mae hi hefyd yn angerddol am addysgu.
Mae croeso i chi gysylltu â hi os oes gennych brosiect ymchwil sy'n ymwneud â phrofi theorem, yn benodol os yw'n cynnwys Lean.

Meysydd Arbenigedd

Rhesymeg Adeiladol
Damcaniaeth Parth
Profi Theorem Ryngweithiol (Profwr Theorem Ddarbodus)
Cryptograffeg

Modiwlau a Addysgir

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

Cyfeiriad ebost

LinkedIn Account

Dolenni Ymchwil

Trosolwg

Meysydd Arbenigedd

Modiwlau a Addysgir

CSB103MC Fundamentals of Cybersecurity

CSB300MC Software Engineering Project Management