プロジェクト - Projects
プロジェクト - Projects
| スタッフ | ||
|---|---|---|
| 佐藤 周行 | 特任教授 | schuko@satolab.itc |
| 伊東 雅美 | 秘書 | ito@satolab.itc |
| 共同研究員 | ||
| 木村 悠介 | 共同研究員 | |
| 学生 (in charge) | ||
| 清野 善裕 | D3 | yseino@satolab.itc |
| 张 凌风 | D3 | zhang-lingfeng936@satolab.itc |
| 呉 楨楠 | D3 (秋) | swwzn@satolab.itc |
| 李 少文 | D2 (秋) | li-shaowen879@satolab.itc |
| 郭 宇恒 | D2 (秋) | yuhengguo@satolab.itc |
| 于 俊威 | D1 | yujw@satolab.itc |
| 马 兆宇 | M2 | mazhaoyu@satolab.itc |
| 伊藤 峻 | M2 | itoshun@satolab.itc |
| 小谷 健太朗 | M2 | kotani@satolab.itc |
| 名前 | 課程 | 卒業年月 | 学位論文題名 |
| 丁 曄澎 | 博士 | 2024/3 | Transition-Oriented Programming: Developing Provably Correct Systems |
| 森瀧 瑞希 | 修士 | 2024/3 | 輪郭画像を用いたテキスト記述に基づく顔画像合成モデルの構築j |
| 于 俊威 | 修士 | 2024/3 | A Post-Quantum Decentralized Self-Sovereign Identity Management System with CRYSTALS-Kyber Enhanced by Information-Injection |
| 中村有祐 | 修士 | 2023/3 | IoTセンサーネットワークと実空間における位置情報を用いた在室状況把握 |
| 森 優大 | 修士 | 2023/3 | ブロックチェーンを用いた小規模分散システムの安全な運用 |
| 李 根 | 博士 | 2022/7 | High-precision Behavioral Authentication by Sensing Handwritten Signature Motions |
| 安ヵ川 彩乃 | 修士 | 2022/3 | NTRU: 格子電子署名への中国剰余定理を用いたアグリゲート署名方式への適用 ( 優秀修士論文賞) |
| 呉 禎楠 | 修士 | 2021/9 | Self-supervised Point Cloud Upsampling via Point Duplication and Displacement Regression |
| 李 少文 | 修士 | 2021/9 | Design and Implementation of a multicomplex number library for computing any order of derivatives |
| 张 凌风 | 修士 | 2020/9 | Automated Test Input Generation for Convolutional Neural Networks by Implementing Multiobjective Evolutionary Algorithms |
| 斎藤 雄太 | 修士 | 2019/3 | 確率密度関数を用いた回帰テストのためのテストケース優先順位付け戦略 |
| Cosmas Krisna Adiputra | 修士 | 2019/3 | Enhancing Blockchain-based Electronic Voting System using Trusted Execution Environment |
| Nikita Sridhar | 修士 | 2018/3 | A Proposal of Access Control Extended With Multi-valued Logic |
| Somchart Fugkeaw | 博士 | 2017/9 | Achieving Expressive, Scalable, and Efficiently Revocable Collaborative Data Access Control in Multi-Authority Cloud |
| 横山 直人 | 修士 | 2015/3 | ランダムテストとシンボリック実行の組み合わせによる網羅率の向上- |
| Mario Alberto Chapa Martell | 博士 | 2015/9 | A Framework for Performance Analysis and Optimization for GPU Kernel Programs using Linear Performance-Breakdown Model |
| 馬 雷 | 博士 | 2014/9 | Automatic Verification and Testing for Software with Multiple Versions |
| Quang Tran | 修士 | 2012/3 | A Solution For Privacy Protection In MapReduce |
| 靏 宙史 | 修士 | 2012/3 | 依存条件グラフの解析による制御フロー予測の厳密化 |
| 真子 拓馬 | 修士 | 2011/3 | インライン展開の実際的な効果の計測と 最適化へのフィードバック手法 |
| 雪下 洋輔 | 修士 | 2010/9 | - |
| 川中 翔 | 修士 | 2009/3 | ソーシャルブックマークにおけるタグの派生関係の抽出 |
| 荻野 健 | 修士 | 2008/3 | フォークソノミーからの知識抽出に関する研究 |
| 池西 俊介 | 修士 | 2007/3 | 動的スライシングとその効率化について |
| 坂元 健太郎 | 修士 | 2006/3 | 知的エージェントを用いた計算資源主導のグリッドメタスケジューラに関する研究 |
| 松野 裕 | 博士 | 2006/3 | A Type Theory for Optimizing Compilers |
| 真中 賢 | 修士 | 2005/3 | Lazy XML Parsing と Template Instantiation による XSLT の最適化 |
| 堀本 和秀 | 修士 | 2004/3 | X86アーキテクチャのメモリ階層を考慮した最適なRegister Allocation |
| 吉田 映彦 | 修士 | 2001/3 | ループアンローリングの特徴抽出とそのモデル化 |