معرفی
Mayuko Kori is an Assistant Professor at the Research Institute for Mathematical Sciences (RIMS), Kyoto University. Her work focuses on foundational aspects of fixed points in formal verification and semantics, leveraging category-theoretic and lattice-theoretic abstractions to explore global properties in proof theory and verification.
Her research interests include:
- Fixed-point analysis in formal verification
- Categorical semantics
- Lattice theory applications
- Proof theory and global property modeling.
۰مقاله منتشرشده
