渡部研究室

About关于研究室

让安全可信的系统开发变得简单。

渡部研究室研究如何让安全可信的计算系统开发变得简单，探索其背后的原理与机制。
研究综合运用编程语言、系统软件和形式化方法这几个领域的技术。
近年来，该研究室重点研究使用函数式响应式编程语言的嵌入式与控制系统。
研究中使用便于处理树结构和符号的函数式编程语言，以及模型检测器、定理证明辅助系统等工具。

Research研究课题

该研究室跨编程语言、系统软件和形式化方法三个领域开展研究，课题包括保障系统安全运行的机制、并发与分布式编程模型，以及面向嵌入式系统的函数式响应式编程等。

安全运行的系统↗

研究保障系统安全运行的机制。研究对象包括在程序运行的同时进行监控与验证的方法，以及在运行时强制执行安全策略的机制。

※示意图

编程语言↗

研究元级架构与自反计算、并发对象与Actor模型，以及面向嵌入式系统的函数式响应式编程。

※示意图

形式化方法↗

研究并发系统的验证方法，以及用于按组件分别验证的抽象化机制。

软件开发↗

以人阅读并理解程序的过程（程序理解）为研究对象，同时也致力于开发辅助工具，帮助阅读基于框架构建的软件代码。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。