-
-
研究室 : A355
コンピュータプログラムにバグ（誤り）がないかどうか、コンピュータ自身を使って調べる方法を研究しています。つまり、プログラム実行中に現れうるすべての状況を、コンピュータの計算能力を使ってしらみつぶしに調べる方法の研究です。どんな誤りでも見つけられるような万能の方法はなく、調べたい事柄に応じて方法を工夫したり組み合わせたりする必要があり、そこがおもしろさでもあります。
-
- 先生の格言！
-
All work and no play makes Jack a dull boy.
好きなことに一所懸命打ち込む、という経験を学生時代にぜひしてほしいと思います。勉強ができる人より人間性豊かな人を目指してほしいと思います。
- 学生から見た先生はこんな人！
-
高田先生は真面目で穏やかな先生ですね。話したことや聞いたことは些細なことでもちゃんと覚えてくれていますし、連絡も必ず早めにしてくれます。また、休憩中はコーヒー片手に研究室に来て生徒とお喋りをされたりすることもあります。見た目が若いこともあり、生徒としては接しやすい先生だと思います。
-
- 出身
- 徳島県
- 趣味
- 絵本の収集
- 学歴
- 大阪大学大学院基礎工学研究科博士後期課程修了
- 前職
- 奈良先端科学技術大学大学院情報科学研究科助手
- 専門分野
- ソフトウェア科学
