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


I received Ph.D from JAIST in 2003, and joined IBM Research - Tokyo.

RESEARCH INTERESTS

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

PROJECTS

  • Program Synthesis & Program Comprehension (2015-present)
  • Automated Test Input Data Generation (2012-present)
  • 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
  • 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