東北大学電気通信研究所 大堀研究室

Introduction

大堀研究室では,ソフトウェアの構成原理を探求し,より信頼性の高いソフトウェアを効率よく構築する技術の開発を行っています.特に,新しいプログラミングの枠組みの構築や,それらを基礎としたプログラミング言語の実現に向け研究,データベースに言語技術を取り入れた新しい検索言語の設計・開発などを進めています.また,研究成果に基づきC言語との連携などを実現した次世代高信頼言語SML# の開発を行っています.

本研究室の詳細は研究および教育のページや以下の資料をご覧下さい.

Announcement

  • 学部生向け研究室紹介スライド(2013年11月版): syokai2013.pdf
Last modified:2013/11/06 14:17:52
Keyword(s):
References: