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
    Link to Paper Search Results by DOI
  2. ★, Probabilistic mediator: A coalgebraic perspective, JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 129, 202211
    Link to Paper Search Results by DOI
  3. Knowledge Graph Construction for SOFL Formal Specifications, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 32(04), 605-644, 202204
    Link to Paper Search Results by DOI
  4. Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction, IEEE TRANSACTIONS ON RELIABILITY, 71(2), 512-526, 202206
    Link to Paper Search Results by DOI
  5. ★, Fuzzy Automata as Coalgebras, Mathematics, 9(3), 20210129
    Link to Paper Search Results by DOI
  6. A Unifying Coalgebraic Semantics Framework for Quantum Systems, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 31(03), 381-403, 202103
    Link to Paper Search Results by DOI
  7. A Coalgebraic Semantics Framework for Quantum Systems, Lecture Notes in Computer Science, 11852, 387-402, 20191028
    Link to Paper Search Results by DOI
  8. On Semantics for Mediator: A Coalgebraic Perspective, Lecture Notes in Computer Science, 11392, 146-165, 20190209
    Link to Paper Search Results by DOI