About
Dr. Mina Cyrus is a Teaching Fellow at Swansea University's Department of Computer Science. She researches formal problem-solving using constructive logic (BHK interpretation) and interactive theorem provers (Lean 4/Coq) to verify solution correctness.
Research Focus
Her expertise includes domain theory, theorem proving, and cryptography.
Teaching
She teaches Foundations of Computing, Discrete Mathematics, and Lean 4 theorem proving.
0Publications listed
Find Mina Cyrus elsewhere
Related Searches
You Might Also Like
Mukesh TiwariSwansea University · Lecturer
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioInria · Lecturer
William ManskyUniversity of Illinois Chicago · Assistant Professor
Pierre-Evariste DagandNational and Kapodistrian University of Athens · Researcher
Matthieu SozeauMax Planck Institute for Software Systems · Researcher- GGeoff SutcliffeBrown University · Professor