Rchr
J-GLOBAL ID：200901023161066131   Update date: Feb. 01, 2024

Ueda Kazunori

Ueda Kazunori
Affiliation and department：
Waseda University Faculty of Science and Engineering School of Fundamental Science and Engineering

About Waseda University Faculty of Science and Engineering School of Fundamental Science and Engineering


Job title： Professor
Homepage URL  (1)： http://www.ueda.info.waseda.ac.jp/~ueda/index-j.html
Research field  (2)： Information theory ,  Software
Research keywords  (4)： logic and constraint programming ,  Hybrid Systems ,  Concurrency and Parallelism ,  Design and Implementation of Programming Languages
Research theme for competitive and other funds  (19)：
  • 2018 - 2021 先進的プログラム構築方法論に支えられた高機能な3D印刷造形技術の開拓
  • 2018 - 2021 プログラミング言語技術との融合による高水準モデリング言語の進化と展開
  • 2015 - 2018 General-purpose high-level language with the notion of real numbers and time
  • 2014 - 2017 Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
  • 2012 - 2015 Evolutionary development of a model checker compiler using verification technology and non-standard type systems
Show all
Papers (259)：
ｍore...
MISC (25)：
ｍore...
Books (13)：
  • AI事典 第3版
    近代科学社 2019
  • 人工知能学大事典
    共立出版 2017
  • Programming Languages and Systems 8th Asian Symposium, APLAS 2010
    Lecture Notes in Computer Science 6461, Springer-Verlag 2010
  • 人工知能学事典
    共立出版 2005
  • Functional and Logic Programming-5th International Symposium on Functional and Logic Programming, FLOPS 2001
    Lecture Notes in Computer Science 2024, Springer-Verlag 2001
ｍore...
Lectures and oral presentations  (16)：
  • 言語をつくる
    (日本ソフトウェア科学会第35回大会 (August 29-31, 2018, 大阪大学) 2018)
  • Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
    (Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016, March 4-6, 2016, Kochi, Japan) 2016)
  • Hierarchical graph rewriting as a unifying model and language of concurrency
    (LIX Colloquium on Emerging Trends in Concurrency Theory (November 2006, Ecole Polytechnique de Paris, France) 2006)
  • LMNtal: a unifying declarative language
    (Third Workshop on Constraint Handling Rules (CHR 2006, July 2006, Venice, Italy) 2006)
  • Constraint-Based Concurrency and Beyond
    (Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, Bertinoro, Italy) 2005)
ｍore...
Works (2)：
  • 制約概念に基づくハイブリッドシステムモデリング言語HydLa
    2010 - 現在
  • LMNtal: モデル検査機能と可視化環境を備えた階層グラフ書換え言語処理系
    2002 - 現在
Education (2)：
  • - 1983 University of Tokyo Graduate School, Division of Engineering
  • - 1978 University of Tokyo Faculty of Engineering
Professional career (2)：
  • 工学博士 (東京大学)
  • Doctor of Engineering
Work history (12)：
  • 2010 - 現在 エジプト日本科学技術大学客員教授
  • 2007 - 現在 Waseda University Faculty of Science and Engineering
  • 2006 - 2016 National Institute of Informatics
  • 2011 - 2012 東京大学理学部 非常勤講師
  • 2003 - 2007 Waseda University School of Science and Engineering
Show all
Committee career (15)：
  • 2013/04 - 2017/12 New Generation Computing (Ohmsha and Springer) Associate Editor-In-Chief
  • 2011 - 2014 Asian Association for Foundations of Software (AAFS) Co-Chair
  • 2001/11 - 2013/03 New Generation Computing (Ohmsha and Springer) Area Editor (Programming and Architecture分野)
  • 2010 - Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010, Shanghai, China, November-December 2010) プログラム委員長
  • 2004/04 - 2008/03 コンピュータソフトウェア(日本ソフトウェア科学会機関誌) 編集委員長
Show all
Awards (12)：
  • 2016 - 日本ソフトウェア科学会 フェロー
  • 2015 - 情報処理学会 フェロー
  • 2011 - 日本ソフトウェア科学会 基礎研究賞
  • 2010 - 日本ソフトウェア科学会 功労賞
  • 2003 - 人工知能学会2002年度全国大会ベストプレゼンテーション賞
Show all
Association Membership(s) (5)：
IEEE Computer Society ,  Association for Computing Machinary ,  人工知能学会 ,  情報処理学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM