東京科学大学 · Other · 理工学
情報理工学院
School of Computing
Faculty
Faculty roster
We list publicly named professors, associate professors, lecturers, and other faculty as fully as we can. When KAKEN / CiNii records are available, extracted keywords and projects appear alongside the name. Confirm current recruitment and international-student acceptance in the latest guidelines and directly with the faculty member.
BERJAB NESRINE
Bonnet Francois
Francois Bonnet
特任准教授
distributed algorithmsmulti-agent systemsself-stabilizationconsensuspath planningBONNET FRANCOIS PIERRE ANDRE
DEFAGO XAVIER
multi-agent path planningmobile robotsrendezvous algorithmsresilient consensusmodel checkingDELATTRE BLAISE JEAN
JIANG JIWEI
Jourenko Maxim
Maxim Jourenko
特任助教
情報学・計算機科学Kengkanna Apakorn
Apakorn Kengkanna
LIAO CHEN CHIEH
LIU JIAYANG
LIU XINPENG
MARTINEZ TEJADA
autism spectrum disorder classificationgraph attention networksEEG decodingvideo game event detectionbrain synchronyMA YOUMI
OOI CHUN WEI
Partachi Profir-Petru
Profir-Petru Partachi
助教
API migrationhallucination detectionAST naturalnessproject memory linkssoftware project healthPENG YICHEN
PHUA YIN JUN
QIAO PENGPENG
REBELLO LARANGEIRA JUNIOR MARIO
blockchain protocolsdecentralized storagestate channelscold stakingverifiable random functionsREYES BUSTOS CID ARMANDO ISAAC
エクスパンダーグラフ量子ラビモデル数論表現論組合せ論SU XIANGYU
VIEGAS EDUARDO MARCELLO
WANG SHAN
WEN RUI
machine learning securitydata reconstruction attacksmodel stealingLLM guardrailsdata valuation attacksWU ERWIN
YAMASHITA RIOS DE SOUSA ARTHUR MATSUO
YAMASHITA RIOS DE SOUSA ARTHUR MATSUO
特任助教
ZHANG QING
ウー エアウィン
ERWIN WU
ベルジャブ ニスリーン
Nesrine Berjab
fuzzy-based abnormal node detectiongradient-based time-series anomaly detectionhierarchical abnormal-node detectiondynamic trust-weighted federated learningdetection based on spatio-temporalポア インジュン
Yin Jun Phua
助教
論理推論深層機械学習ニューラルシンボリックホウ イシン
YICHEN PENG
特任助教
diffusion modelsgesture generationmotion generationaugmented realityelectromyography一木 俊助
Shunsuke Ichiki
助教
Pure情報学・計算機科学ジェネリックな写像横断性定理距離二乗写像七島 幹人
Mikito Nanashima
准教授
one-way functionszero knowledgerandomized Kolmogorov complexityaverage-case complexityinductive inference三好 直人
Miyoshi Naoto
教授
Theory of probabilityオペレーションズ・リサーチ確率論Operations research三宅 美博
Yoshihiro Miyake
教授
下坂 正倫
wearable sensingwrist contour sensorsactivity recognitionhand shape classificationlidar sensing中村 和市
中田 芳史
中野 張
Nakano Yumiharu
准教授
optimal transportmulti-marginal optimal transportHilbert space embeddingsSchrodinger problemsdenoising diffusion models井上 中順
Nakamasa Inoue
准教授
vision language modelscompositional reasoningbinary neural netsdiffusion regularization3d language fields伊藤 勇太
augmented realityvirtual realityvisual guidancevisuo-haptic interfaceshead-mounted displays佐久間 淳
Jun Sakuma
教授
backdoor attackdata poisoningcertified defensecontent based image retrievalmodel merging defense佐藤 哲也
Tetsuya Sato
助教
佐藤 育郎
Ikuro Sato
特任教授
Lattice QCDbaryon spectroscopybaryon operatorspoint cloud representationshape classification内富 寛隆
Hirotaka Uchitomi
特任准教授
Parkinson's disease gaitgait variabilityfestinationrhythmic auditory stimulationinterpersonal synchrony rehabilitation南出 靖彦
Minamide Yasuhiko
教授
pushdown automatarecursive timed automataregular expression matchingweighted pushdown systemsformal verification原田 翼
Tsubasa Harada
叢 悠悠
Youyou Cong
助教
型システム継続計算効果プログラミング言語プログラミング教育古井 海里
Kairi Furui
古賀 一基
Kazuki Koga
偏微分方程式の数値計算データ解析数理最適化流体力学計算調和解析学吉村 奈津江
Natsue YOSHIMURA
教授
electroencephalographyelectrocorticographybrain-computer interfacestranscranial direct current stimulationarm trajectory decoding吉橋 亮太
吉瀬 謙二
Kise Kenji
教授
arrayComputer ArchitectureEmbeddedField-programmableFPGA吉田 雄祐
土岡 俊介
Rogers-Ramanujan identitiespartition identitiescrystal basesvertex operatorsaffine Lie algebras坂本 龍一
Ryuichi Sakamoto
准教授
high-performance computingsmartnicsresource managementgraph analyticsedge data centers塩井 隆円
Takamitsu Shioi
増原 英彦
Masuhara Hidehiko
教授
プログラミング言語Programming LanguagesProgramminglanguageSoftware大上 雅史
Masahito Ohue
准教授
バイオインフォマティクス生命情報科学高性能計算タンパク質間相互作用ケモインフォマティクス大南 英理
Eri Onami
大塚 淳平
大葉 大輔
太田 昌孝
Masataka Ohta
講師
太田 晋
奥山 真佳
孫 鶴鳴
Sun Heming
准教授
深層学習動画像処理大規模集積回路コンピュータビジョン大規模言語モデル宇都 有昭
Uto Kuniaki
助教
パターン認識Pattern recognitionHyperspectralimagingRemote安永 憲司
Kenji Yasunaga
准教授
暗号理論符号理論室伏 俊明
Toshiaki Murofushi
准教授
宮崎 純
Miyazaki Jun
教授
GPU computingpoint cloud registrationnon-local meansembedded GPUsparallel algorithms宮藤 詩緒
Shio Miyafuji
助教
high-speed projectiongaze-contingent displaysmooth pursuit perceptionmotion-induced colorVR gaze guidance小林 憲正
self-confirming equilibriumgame unawarenessrational choice theorycoordination gameshypergames小林 隆志
Takashi Kobayashi
教授
bug localizationLLM interoperabilitycommit message generationUI test co-evolutiontechnical debt小池 英樹
Koike Hideki
教授
高速プロジェクション動的プロジェクションマッピング視線誘導インタフェースVRハンドリダイレクションAR運動スキル支援小池 隆斗
小澤 勇介
小田島 潤
小野 功
Ono Isao
教授
combinatorial optimizationgenetic algorithmsjob shop schedulingtraveling salesman problemagent-based simulation小野 峻佑
Shunsuke Ono
教授
graph signal processingplug-and-play image restorationhyperspectral anomaly detectionconvolutional sparse codingoptical-SAR fusion山下 慶太郎
Keitaro Yamashita
山下 真
Makoto Yamashita
教授
数理最適化半正定値計画錐最適化内点法ロバスト性検証山手 雄太
山本 一樹
山村 雅幸
MASAYUKI YAMAMURA
教授
山田 寛章
Hiroaki Yamada
助教
岡崎 直観
Naoaki Okazaki
教授
natural language processinglarge language modelsdataset curationmachine translationmultimodal language models岡嵜 郁也
Fumiya Okazaki
助教
トポロジー最適化確率解析川上 玲
Rei Kawakami
准教授
川島 孝行
Kawashima Takayuki
助教
biostatisticsincubation period modelinggamma distributionrobust estimationspatial scan statistics常 穹
GPU accelerationFPGA accelerationpoint cloud registrationstereo visionhyperspectral super-resolution平原 秀一
平田 貴士
Takashi Hirata
空間認知空間識前庭感覚VR眼球運動廣井 裕一
後藤田 剛
Takeshi Gotoda
助教
point vortex dynamicstwo-dimensional Euler equationsvortex sheet motionfiltered weak solutionsreaction-diffusion systems徳永 健伸
Takenobu Tokunaga
教授
手塚 真徹
新田 克己
Katsumi Nitta
教授
human-robot interactioninstruction learningagent positioningonline learningself-embodiment星野 健太
Kenta Hoshino
特任准教授
constrained Markov decision processessafe reinforcement learningdiffusion planningrobust optimal controlfault-tolerant quadrotor control時田 剛
景山 拓矢
曹 洋
Yang Cao
准教授
privacy-preserving systemsprivacy policy summarizationvector database securityfederated learninglearned graph storage本村 陽一
杉田 昌岳
SUGITA MASATAKE
特任助教
生物物理学 計算科学 生命情報学 溶液化学 統計力学理論村田 剛志
Tsuyoshi Murata
教授
図による推論Webマイニンググラフニューラルネットワークネットワーク科学Artificial東 悟大
松岡 聡
高性能計算GPUアーキテクチャ分散深層学習GCN訓練ステンシル計算松田 隆宏
aggregate signaturesupdatable encryptionprivacy preserving learningface identificationdevice traceability林 千枝
林 晋平
Shinpei Hayashi
教授
software refactoringbug localizationchange recommendationcode smellsrequirements elicitation柳澤 渓甫
Keisuke Yanagisawa
助教
量子アニーリングタンパク質-化合物 ドッキング計算共溶媒分子動力学法創薬インフォマティクス構造バイオインフォマティクス栗原 淳
Jun Kurihara
准教授
ComputerTheoreticalcomputernetworkscience栗田 修平
梅原 雅顕
Masaaki Umehara
教授
微分幾何曲面の特異点ローレンツ・ミンコフスキー空間Weierstrass表現折り紙森口 草介
Sosuke Moriguchi
助教
functional reactive programmingembedded systemssynchronous dataflowreversible computationbytecode virtual machines権藤 克彦
Gondow Katsuhiko
教授
program analysismemory leak detectionrace detectionreverse executionJavaScript async visualization横井 優
Yu Yokoi
准教授
マッチング理論組合せ最適化離散アルゴリズムゲーム理論Combinatorics武田 一貴
Kazuki Takeda
特任講師
計算毒性学バイオインフォマティクス定量的構造活性相関殺鼠剤リスク評価水木 栄
渡部 卓雄
Watanabe Takuo
教授
並行計算型式手法情報学・計算機科学自己反映計算Programming潘 佳騰
Jiateng Pan
澄田 範奈
Sumita Hanna
准教授
オンラインアルゴリズム組合せ最適化Mathematicaloptimization濵田 省吾
Shogo Hamada
Omega nucleic acidsDNA hydrogelsliquid-crystalline DNADNA polymer networksDNA gel robots瀧本 哲史
Satoshi Takimoto
牛山 寛生
Kansei Ushiyama
助教
数値解析学連続最適化AppliedmathematicsOrdinary田中 健一郎
Ken'ichiro Tanaka
教授
近似理論数値解析情報学田中 圭介
Keisuke Tanaka
教授
計算機科学Computer Science田邉 裕大
Yudai Tanabe
助教
multi-version programmingsoftware evolutiongradual typingcompilation semanticsdynamic version checking矢島 萌子
Moeko Yajima
助教
石川 智貴
Satoki Ishikawa
石田 貴士
Takashi Ishida
教授
structure-based drug discoveryprotein-ligand interaction predictionbinding pocket dynamicsGPCR ligand modelinghomology model quality assessment磯野 凌輔
Ryosuke Isono
福本 佳成
福田 光浩
Mitsuhiro Fukuda
准教授
秋山 泰
Yutaka Akiyama
教授
並列処理応用計算創薬バイオインフォマティクス並列処理タンパク質間相互作用予測竹本 真悟
Shingo Takemoto
特任助教
信号処理ハイパースペクトル画像リモートセンシング圧縮センシング地震波篠田 浩一
Shinoda Kouichi
教授
マルチモーダル認識パターン認識スマート農業画像認識話者認識緒方 大樹
脇田 建
Wakita Ken
准教授
計算機科学可視化視覚分析取引ネットワーク大規模言語モデル草川 恵太
post quantum cryptographycryptographic securityfault injection attacksSSH securitychameleon hashing荒井 俊太
quantum annealingcombinatorial optimizationMarkov chain Monte Carloreverse annealingdeep-unfolded solvers荒井 迅
Zin Arai
教授
(genetics)AlgorithmAppliedComputationcomputer荒瀬 由紀
Arase Yuki
教授
sentence simplificationparaphrase generationcontrollable text generationCEFR proficiency assessmentmedical summarization菊池 雄太
Yuta Kikuchi
特任助教
microbial natural productsactinomycete metabolitesfungal secondary metabolitesbiosynthetic gene clustersantimalarial compounds董 芳艶
Dong Fangyan
藤井 敦
Atsushi Fujii
准教授
藤江 拓哉
Takuya Fujie
計算化学CycXeonPept蘇 翔宇
Xiangyu Su
特任助教
西山 大輝
malignant lymphoma subtypingcell graph learningimage fusionmulti-task adversarial attacksclass recall optimization西岡 暁
Akatsuki Nishioka
連続最適化応用数学数理工学トポロジー最適化形状最適化西巻 陵
西村 祐輝
Yuki Nishimura
数理論理学ハイブリッド論理様相論理タブロー計算証明論西畑 伸也
Nishibata Shinya
教授
MathematicalModel equations for semiconductorsanalysisShock Wave半導体のモデル方程式越智 耀亮
Yosuke Ochi
郡司 健史
鄭 顕志
Kenji Tei
准教授
controller synthesisreinforcement learningfederated learningadaptive rule generationubiquitous computing野村 将寛
Masahiro Nomura
助教
進化計算機械学習最適化金子 晴彦
QC-MDPC codesMcEliece cryptosystemreaction-based attackspolar codesinsertion-deletion-substitution error correction金森 敬文
Takafumi Kanamori
教授
robust machine learningrepresentation learningvariational autoencodersdata augmentationgenerative models鈴木 咲衣
Sakie Suzuki
准教授
Hopf algebrasHeisenberg doublequantum invariantsideal triangulationsskein algebras長橋 宏
Hiroshi Nagahashi
名誉教授
長沼 一輝
間宮 正行
関嶋 政和
Masakazu Sekijima
准教授
計算科学ケモインフォマティクスバイオインフォマティクスマテリアルズインフォマティクス並列計算青木 大登
馬 尤咪
Youmi Ma
助教
ArtificialNaturalintelligence人工知能機械学習高安 秀樹
高安 美佐子
Misako TAKAYASU
教授
経済物理学ネットワーク科学企業取引ネットワークソーシャルメディアのデータ解析Non-Euilibium Statistical Physics高橋 仁
Jin Takahashi
准教授
GravitationalHeatMathematicalanalysisequation高邉 賢史
Satoshi Takabe
准教授
deep unfoldingsimulated bifurcationmassive MIMO detectionquantum annealingcombinatorial optimization髙澤 光彦
Mitsuhiko Takasawa
助教
鹿島 亮
Kashima Ryou
准教授
modal logiclambda calculusproof theorymonadic second-order logicmu-calculus黄 裕淙
Yucong Huang
助教
流体力学偏微分方程式齊藤 いつみ
齋藤 豪
Suguru Saito
准教授
スクリーンスペース影生成スケッチ自動着色拡散モデルコントラスト感度関数アニメ中割り生成
What next
Keep exploring
Go back to the university to see more departments, or take a different angle — search by research area or check your next step from the master's application path.
