AI LIU

Last Updated :2023/01/05

Affiliations, Positions
Graduate School of Advanced Science and Engineering, Assistant Professor
E-mail
liuaihiroshima-u.ac.jp
Self-introduction
Ai Liu, Assistant Professor, Graduate School of Advanced Science and Engineering, Bachelor of Science in Applied Mathematics at USTC, Doctor of Natural Science in Applied Mathematics at PKU.

Basic Information

Educational Backgrounds

  • University of Science and Technology of China, School of Gifted Young, China, 2011/09, 2015/06
  • Peking University, School of Mathematical Science, China, 2015/09, 2020/07

Academic Degrees

  • Peking Univesity

Educational Activity

Course in Charge

  1. 2022, Graduate Education (Master's Program) , 1Term, Special Exercises on Informatics and Data Science A
  2. 2022, Graduate Education (Master's Program) , 2Term, Special Exercises on Informatics and Data Science A
  3. 2022, Graduate Education (Master's Program) , 3Term, Special Exercises on Informatics and Data Science B
  4. 2022, Graduate Education (Master's Program) , 4Term, Special Exercises on Informatics and Data Science B
  5. 2022, Graduate Education (Master's Program) , Academic Year, Special Study on Informatics and Data Science

Research Activities

Academic Papers

  1. ★, Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages, 20220211
  2. ★, Probabilistic mediator: A coalgebraic perspective, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 129, 202211
  3. Knowledge Graph Construction for SOFL Formal Specifications, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 32(04), 605-644, 202204
  4. Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction, IEEE TRANSACTIONS ON RELIABILITY, 71(2), 512-526, 202206
  5. ★, Fuzzy Automata as Coalgebras, Mathematics, 9(3), 20210129
  6. A Unifying Coalgebraic Semantics Framework for Quantum Systems, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 31(03), 381-403, 202103
  7. A Coalgebraic Semantics Framework for Quantum Systems, Lecture Notes in Computer Science, 11852, 387-402, 20191028
  8. On Semantics for Mediator: A Coalgebraic Perspective, Lecture Notes in Computer Science, 11392, 146-165, 20190209