鈴木 登志雄・略歴

2020/ 4/ 1

1965 東京都 生まれ．

所属学会

• 1991 -- 現在： 日本数学会 会員．数学基礎論および歴史分科会．
  • 2004年10月 -- 2007年 9月：数学基礎論および歴史分科会 運営委員．
  • 2011年 4月 -- 2013年 6月：雑誌「数学」常任編集委員．数学基礎論および歴史分科会 運営委員．
  • 2015年 3月 -- 2017年 2月：評議員．
• 1999 -- 現在： Association for Symbolic Logic 会員．
• 1999 -- 現在： Association for Computing Machinery 会員．アルゴリズム・計算理論分科会（SIGACT）．
• 2005 -- 現在： European Association for Theoretical Computer Science 会員．
• 2006 -- 現在： 日本応用数理学会 会員．
• 2011 -- 現在： International Association of Engineers 会員．

学歴

• 1989 京都大学 理学部 卒．数学を専攻．特に計算機科学の数学的理論を学ぶ．
• 1991 筑波大学大学院 博士課程 数学研究科 （５年一貫制の博士課程）中退． 理学修士．数学基礎論（数理論理学），特に集合論を専攻．
• 1999 博士（理学）． 筑波大学大学院 数学研究科．（計算量理論）

職歴

• 1991/ 4 -- 1999/ 9: 大阪府立大学 総合科学部 助手．
• 1999/10 -- 2005/ 3: 大阪府立大学 総合科学部 数理・情報科学科 講師．
• 2000/ 9 -- 2000/11: オタワ大学 工学部 情報工学科 客員研究員（カナダ）． （日本時間 9/ 4 出発，同 12/4 帰国）
• 2005/ 4 -- 2006/ 3: 大阪府立大学 理学系研究科 情報数理科学専攻 講師．
• 2006/ 4 -- 2018/ 3: 首都大学東京 理工学研究科 数理情報科学専攻 准教授．
• 2018/ 4 -- 2020/ 3: 首都大学東京 理学研究科 数理科学専攻 准教授．
• 2020/ 4 -- 現在: 東京都立大学 理学研究科 数理科学専攻 准教授．

非常勤講師歴

• 2005年度後期: 東京都立大学 理学部 数学科 集中講義「データベースと情報検索」
• 2014年度後期: 静岡大学理学部数学科および大学院理学研究科数学専攻 集中講義「特別講義・計算可能性理論」
• 2015年度後期（秋学期） -- 現在: 慶應義塾大学 理工学部 数理科学科「情報数学第２」（春学期）、「数理論理学」（秋学期）