LIU AIAI LIU

Last Updated :2021/04/08

所属・職名
大学院先進理工系科学研究科 助教
メールアドレス
liuaihiroshima-u.ac.jp

基本情報

学歴

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

学位

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

教育活動

授業担当

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

研究活動

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

  1. ★, A Unifying Coalgebraic Semantics Framework for Quantum Systems, International Journal of Software Engineering and Knowledge Engineering, 31巻, 3号, pp. 381-403, 20210407
  2. ★, Fuzzy Automata as Coalgebras, Mathematics, 9巻, 3号, 20210129
  3. On Semantics for Mediator: A Coalgebraic Perspective, Lecture Notes in Computer Science, 11392巻, pp. 146-165, 20190209
  4. A Coalgebraic Semantics Framework for Quantum Systems, Lecture Notes in Computer Science, 11852巻, pp. 387-402, 20191028