研究

北道研究室

• 安全な組込みシステムに関する研究
  
  • 回路設計およびシステム設計における形式手法に関する研究
    
  • 安全な組込みシステムのハードウエアアーキテクチャ,RTOS,ソフトウエア開発に関する研究
    
    
• 組み合わせ最適化問題に対するヒューリスティック解法に関する研究
  
  

富岡研究室

• 安心、安全、快適な社会環境の実現を目指した動画像解析アルゴリズムとハードウェア・アクセラレータの研究
  
  • 移動物体の抽出と追跡
    
  • 物体識別
    
  • ディジタル（動）画像を撮影したデバイスの特定