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:

Program Co-Chair of ILPS'91, International Logic Programming Symposium (San Diego, USA),
Conference Co-Chair of ICLP'95, International Conference on Logic Programming (Kanagawa, Japan),
Program Chair of JSPP'97, Joint Symposium on Parallel Processing (Kobe, Japan),
Program Co-Chair of ASIAN'97, Third Asian Computing Science Conference (Kathmandu, Nepal),
Program Co-Chair of FLOPS 2001, Fifth International Symposium on Functional and Logic Programming (Tokyo, Japan),
Conference Co-Chair of ASIAN 2002, Seventh Asian Computing Science Conference (Hanoi, Vietnam),
Conference Co-Chair of ASIAN 2003, Eighth Asian Computing Science Conference (Mumbai, India),
Conference Chair of ASIAN'07, 12th Annual Asian Computing Science Conference (Doha, Qatar), and
Program Chair of APLAS 2010, Eighth Asian Symposium on Programming Languages and Systems (Shanghai, China).

He acted as

Area Editor of the Journal of Logic Programming (Elsevier) from 1992 to 1999 (area: Design and Analysis of Languages and Systems),
Area Editor of Theory and Practice of Logic Programming (Cambridge University Press) from 2000 to 2006 (area: Design and Analysis of Languages and Systems),
Associate Editor of Computer Software (Jourlnal of Japan Society for Software Science and Technology) from 1996 to 2000,
Editor-In-Chief of IPSJ Transactions on Programming (IPSJ) from 1998 to 2000,
Editor-In-Chief of Computer Software (Journal of Japan Society for Software Science and Technology) from 2004 to 2008,
Area Editor of New Generation Computing (Ohmsha and Springer) (area: Programming and Architecture) from 2001 to 2012,
Associate Editor-In-Chief of New Generation Computing (Ohmsha and Springer) from 2013 to 2017, and
Co-Chair of Asian Association for Foundations of Software from 2011 to 2014.

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