-- About RIMS -- Message from the Director Introducing RIMS Code of Conduct Members Organization Graduate Education and Conferment of Degrees Publ.RIMS Publications Brochure KU Math Sci Res Fund -- International Joint Usage/Research Center -- Overview Call for Proposals Advisory Board Technical Committee International Advisors Assessment Report
International Joint Usage/Research Center -HOME- Overview Symposia/Workshops RIMS Research Projects Call for proposals Information for Principal Researcher Seminar rooms and facilities for joint research Accommodationnformation Request regarding Research Paper Acknowledgements Questionnaire to RIMS workshop participants RIMS Kôkyôroku RIMS Kôkyôroku Bessatsu International exchange Initiatives for Gender Equality and Diversity COVID-19 updates for organizers and participants Past RIMS Research Projects Past RIMS Satellite Seminars Past RIMS Review Seminars Past RIMS Workshops/Symposia
Graduate School
Colloquium Seminars
No recruitment.
Initiatives for Gender Equality and Diversity
Call for proposals
Library Computer Facilities Kyoto University International Service Office Link Access Wheelchair Accessibility and Braille Availability

Members

TOP　>　Members　

KORI, Mayuko

Name KORI, Mayuko
Position Assistant Professor
E-Mail mkori (email address: add @kurims.kyoto-u.ac.jp)
URL
Research
I've been working on fixed points in formal verification and semantics, focusing on two main directions: (1) properties of fixed points, and (2) category-theoretic and lattice-theoretic abstractions of fixed-point based techniques. Currently, I'm interested in categorical semantics for global properties in proof theory and verification.

←　BACK TO THE TOP

←　BACK TO THE TOP

  • Follow on

Research Institute for Mathematical Sciences (RIMS)