LIU AIAI LIU

Last Updated :2022/12/02

所属・職名
大学院先進理工系科学研究科 助教
メールアドレス
liuaihiroshima-u.ac.jp
自己紹介
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.

基本情報

学歴

  • 中国科学技術大学, 少年班学院, 中国, 2011年09月, 2015年06月
  • 北京大学, 数学科学学院, 中国, 2015年09月, 2020年07月

学位

  • 博士(理学) (北京大学)

教育活動

授業担当

  1. 2022年, 修士課程・博士課程前期, 1ターム, 情報科学特別演習A
  2. 2022年, 修士課程・博士課程前期, 2ターム, 情報科学特別演習A
  3. 2022年, 修士課程・博士課程前期, 3ターム, 情報科学特別演習B
  4. 2022年, 修士課程・博士課程前期, 4ターム, 情報科学特別演習B
  5. 2022年, 修士課程・博士課程前期, 年度, 情報科学特別研究

研究活動

学術論文(★は代表的な論文)

  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号, pp. 605-644, 202204
  4. Gated Homogeneous Fusion Networks With Jointed Feature Extraction for Defect Prediction, IEEE TRANSACTIONS ON RELIABILITY, 71巻, 2号, pp. 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号, pp. 381-403, 202103
  7. A Coalgebraic Semantics Framework for Quantum Systems, Lecture Notes in Computer Science, 11852巻, pp. 387-402, 20191028
  8. On Semantics for Mediator: A Coalgebraic Perspective, Lecture Notes in Computer Science, 11392巻, pp. 146-165, 20190209