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

contact information

Research Staff Member
IBM Research - Tokyo, Japan
  +81dash3dash5144dash2907

links

Professional Associations

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

profile


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.

 

RESEARCH INTERESTS

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

PROJECTS

  • 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)

PROFESSIONAL ACTIVITIES

  • 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

AWARDS

  • ACM SIGSOFT Distinguished Paper Award, 2011
    http://www.sigsoft.org/awards/disPapAwd-rec.htm
  • IPSJ Yamashita SIG Research Award, 2008
    http://www.ipsj.or.jp/annai/aboutipsj/award/yamashita2008.html