معرفی
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.
۰مقاله منتشرشده
Mina Cyrus در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Mukesh TiwariSwansea University · مدرس
Filippo Alberto Edoardo Nuccio Mortarino Majno di CapriglioInria · مدرس
William ManskyUniversity of Illinois Chicago · استادیار
Pierre-Evariste DagandNational and Kapodistrian University of Athens · پژوهشگر
Matthieu SozeauMax Planck Institute for Software Systems · پژوهشگر- GGeoff SutcliffeBrown University · استاد