Takaaki Tateishi (立石 孝彰)  Takaaki Tateishi (立石 孝彰) photo         

contact information

Research Staff Member
IBM Research - Tokyo, Japan


Professional Associations

Professional Associations:  Information Processing Society of Japan (IPSJ)  |  Japan Society for Software Science and Technology


Dr. Takaaki Tateishi is Research Staff Member of IBM Research - Tokyo. He received his M.S. degree and Ph.D. in Information Science from Japan Advanced Institute of Science and Technology (JAIST) in 2003. He joined IBM Research - Tokyo in 2003 where he worked on legacy transformation, Web application security, and blockchain. He is currently working on program synthesis for data science automation. He received ACM SIGSOFT Distinguished Paper Award in 2011 for his program analysis work and IBM Research Client Award in 2014 for his contribution to legacy migration projects in Japan.



Software engineering: Formal method, Software verification, Software Testing, Program synthesis, Program analysis


  • Automation of Data Science (2019-present)
  • Smart Contract & Blockchain (2017-2019)
  • Program Synthesis & Program Comprehension (2015-present)
  • Automated Test Input Data Generation (2012-2016)
  • DOM Analysis (2006,2007)
  • Legacy Transformation and Business Rule Extraction (2003-2005)


  • Board Member, Japan Society for Software Science and Technology (JSSST), 2011-2015
  • Chief Examiner, Journal of Information Processing (情報処理学会,基盤,主査), 2016
  • Deputy Chief Examiner, Journal of Information Processing (情報処理学会論文誌,基盤,副査), 2014,2015
  • Steering committee member, SIGSE of Information Processing Socienty of Japan, 2010-present
  • Program committee member, Asia-Paci c Software Engineering Conference (APSEC), 2007-2008


  • ACM SIGSOFT Distinguished Paper Award, 2011
  • IPSJ Yamashita SIG Research Award, 2008