400万人が利用する会社訪問アプリ
Luwei Chen
北陸先端科学技術大学院大学2 years
情報科学
-
ロボットオペレーティングシステム(ROS)は最も重要なロボット開発のライブラリとし てエンジニアに使用されている。しかし、ROSが安全性に関する、仕様書の曖昧、検証手 法の不十分などとても大きな問題を抱えている。 そこで、私が行うつもりの研究課題は、モデル検査や定理証明などの形式化手法を用い 、ロボット開発の安全性を向上させればと考えている。 具体
株式会社isoftstone1 year
アプリエンジニア
-
スマートテレビにおける音声アシスタントのAndroidクライアントの開発。画面と音声収録など機能の実現、サーバーとの接続、NLPアルゴリズムチームとのコミュニケーション
Skills
言語
- Chinese - Native
- English - Conversational
- Japanese - Conversational