Kazunori UEDA

Kazunori Ueda received the M. Eng. and Dr. Eng. degrees in information engineering from the University of Tokyo in 1980 and 1986, respectively. He joined NEC Corporation in 1983 and worked mainly on the design and implementation of concurrent logic programming languages as part of the Fifth Generation Computer Systems (FGCS) project. He designed Guarded Horn Clauses (GHC) in 1984, which became the basis of the Kernel Language, KL1, of the FGCS project.

From 1985 to 1992, he was with the Institute for New Generation Computer Technology (ICOT) on loan from NEC. He joined Waseda University, Department of Information and Computer Science in 1993, and has been Professor since 1997 till now. In 2003 the department was reorganized into the (larger) Department of Computer Science, where he was the first head. He also taught at the University of Tokyo in 1994-2000 and was a visiting scientist at National University of Singapore in 2000-2001. He has been Visiting Professor of National Institute for Informatics in 2006-2016, and Visiting Professor of Egypt-Japan University of Science and Technology (E-JUST) since 2010.

His current research interests include design and implementation of programming languages, concurrency and parallelism, high-performance verification, and hybrid systems. He has long worked on constraint-based concurrency and applications of constraint-based program analysis. His recent project is LMNtal (pronounced "elemental"), a model of concurrency and a concurrent programming language based on hierarchical graph rewriting, whose implementation has now evolved into a model checker with visualizing tools.

He is a member of ACM, IEEE Computer Society, Association for Logic Programming (ALP), Japan Society for Software Science and Technology (JSSST, Fellow since 2016), Information Processing Society of Japan (IPSJ, Fellow since 2015), and Japanese Society for Artificial Intelligence (JSAI).

He acted and has been acting as a program committee member of a number of international conferences: FGCS'88, ICLP'90, PARLE'91, ICLP'91, ILPS'91, FGCS'92, JICSLP'92, ICCL'94, ICLP'94, ICLP'95, JICSLP'96, ILPS'97, Asian'97, JICSLP'98, FLOPS'99, ICLP'99, CP99, ICECCS 2000, TCS2000, AADEBUG 2000, FLOPS2001, PADL'01, ICLP'01, FLOPS2002, AADEBUG 2003, ICLP'03, ASIAN'03, FLOPS2004, APLAS 2004, AADEBUG 2005, ASIAN'06, SAC'08, FLOPS2008, SAC'09, ASIAN'09, IWNC 2009, APLAS 2009, PPDP 2010, HLPP 1010, APLAS 2010, PPDP 2011, FLOPS 2012, LCPC 2012, RTA 2015, ICTAC 2015, ICTAC 2016, PADL 2017, ICTAC 2017, TASE 2017, FLOPS 2018, CyPhy 2018, CyPhy 2019, TERMGRAPH 2022, ICGT 2023, LOPSTR 2023, ICGT 2024, and APLAS 2024, as well as a member of a number of domestic conferences on programming languages and parallel processing. He acted and has been acting as:

He acted as

He acted as an invited speaker, a tutorial speaker, or a panelist, at Foundtions of Logic and Functional Programming (Trento, 1986), ICLP'87 (Melbourne), FGCS'88 (Tokyo), IFIP'89 (San Francisco), InfoJapan'90 (Tokyo), ILPS'91 (San Diego), ILPS'93 (Vancouver), ICLP'95 (Kanagawa), TACS'97 (Sendai), TACS2001 (Sendai), ICLP'01 (Paphos, Cyprus), ICLP'03 (Mumbai, India), WMC5 (Milano, Italy, 2004), CHR2006 (Venice, Italy), FLOPS 2016 (Kochi, Japan), JSSST 2018 (Osaka, Japan), and ICCTA 2022 (Alexandria, Egypt).

He was awarded IBM Japan Science Prize (computer science area) in 1993 for his research on concurrent logic programming languages.

Last update: March 6, 2024
ueda -at- ueda.info.waseda.ac.jp