Profile
Takuo Watanabe is a professor in the Department of Computer Science at the Institute of Science Tokyo (former Tokyo Institute of Technology). He received his Ph.D. in Science from the Department of Information Science at the Tokyo Institute of Technology in 1991. His research is mainly situated in the field of programming models and languages, formal methods, embedded systems, and secure computing. His recent interest is to understand the nature of reactive programming models for embedded/cyber-physical systems.
- Researcher Profile: EN / JA
- Tokyo Tech Cybersecurity (in Japanese)
Contact
- Office: Ookayama Campus West 8E Bldg, Room 805 (Ext. 3690)
- Postal Address: W8-75, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8552, Japan
- Phone: +81-3-5734-3690
- E-mail:
takuo_AT_comp.isct.ac.jp
- Web: http://www.psg.comp.isct.ac.jp/~takuo/
Employment and Research Experience
- Oct. 2024 - present: Professor,
Department of Computer Science, School of Computing,
Institute of Science Tokyo - Jan. 2017 - Sep. 2024: Professor,
Department of Computer Science, School of Computing,
Tokyo Institute of Technology - Apr. 2016 - Dec. 2016: Associate Professor,
Department of Computer Science, School of Computing,
Tokyo Institute of Technology - Apr. 2004 - Mar. 2016: Associate Professor,
Department of Computer Science, Graduate School of Computer Science and Engineering,
Tokyo Institute of Technology - Apr. 2002 - Mar. 2004: Associate Professor,
Software Research Division,
National Institute of Informatics - Jan. 2001 - Mar. 2002: Associate Professor,
Department of Computer Science, Graduate School of Computer Science and Engineering,
Tokyo Institute of Technology - Apr. 1992 - Dec. 2000: Associate Professor,
School of Information Science,
Japan Advanced Institute of Science and Technology - Sep. 1991 - Mar. 1992: Visiting Research Assistant Professor,
Department of Computer Science,
University of Illinois at Urbana-Champaign - Apr. 1991 - Mar. 1992: JSPS Junior Researcher (PD),
Department of Information Science,
The University of Tokyo - Apr. 1990 - Mar. 1991: JSPS Junior Researcher (DC),
Department of Information Science,
Tokyo Institute of Technology
Education
- Apr. 1988 - Mar. 1991: Ph. D. in Science, Department of Information Science, Tokyo Institute of Technology
- Apr. 1986 - Mar. 1988: M. S., Department of Information Science, Tokyo Institute of Technology
- Apr. 1982 - Mar. 1986: B. S., Department of Information Science, Tokyo Institute of Technology
Ph. D. Thesis
- Title: Object-Oriented Models for Reflection in Concurrent Systems
- Institute: Department of Information Science, Tokyo Institute of Technology
- Date: Mar. 1991
- Advisor: Akinori Yonezawa
Recent Academic Activities
- 2023
- PC member: WCTP 2023
- Committee member: JSSST SIG Programming and Programming Languages (SIGPPL)
- 2022
- PC member: REBLS 2022, APRIS 2022
- Committee member: IPSJ SIG Embedded Systems (SIGEMB), JSSST SIG Programming and Programming Languages (SIGPPL)
- 2021
- PC member: REBLS 2021
- Committee member: IPSJ SIG Embedded Systems (SIGEMB)
- 2020
- PC member: REBLS 2020, CCGrid 2020, WCTP 2020
- Committee member: IPSJ SIG Embedded Systems (SIGEMB)
- 2019
- PC member: COORDINATION 2019, REBLS 2019, WCTP 2019
- Organizer: Shonan Meeting No. 149: Programming Languages for Distributed Systems
- Committee member: IPSJ SIG Embedded Systems (SIGEMB)
- 2018
- PC member: WCTP 2018
- 2017
- PC member: AGERE 2017, META 2017, WCTP 2017, COORDINATION 2017
- 2016
- PC member: AGERE 2016, META 2016, WCTP 2016, COORDINATION 2016, Reflect 2016
- 2015
- PC member: AGERE 2015, WCTP 2015, JSSST PPL 2015
- 2014
- PC member: AGERE 2014, WCTP 2014
- 2013
- PC member: WCTP 2013
- 2012
- PC member: WCTP 2012, ILC 2012, JSSST PPL 2012
略歴
1986年東京工業大学理学部情報科学科卒業. 1991年同大大学院理工学研究科情報科学専攻博士後期課程修了. 理学博士. 日本学術振興会特別研究員,イリノイ大学計算機科学科研究員,北陸先端科学技術大学院大学情報科学研究科助教授,東京工業大学大学院情報理工学研究科計算工学専攻准教授をへて,現在,東京科学大学情報理工学院情報工学系教授. メタプログラミングと自己反映計算,形式手法,計算機言語の研究に従事.
連絡先
- 〒152-8552 東京都目黒区大岡山2-12-1, W8-75
東京科学大学 情報理工学院 情報工学系
渡部卓雄 - 居室:大岡山西8号館E棟 805号室 (内線3690)
- TEL: 03-5734-3690, FAX: 03-5734-2772
- E-mail:
takuo_AT_comp.isct.ac.jp
- Web: http://www.psg.comp.isct.ac.jp/~takuo/