LAB LOG评价网站 LabLog 的页面
东北大学
研究生院：信息科学研究生院 系统信息科学专业
软件构成论研究室
机器翻译 · 查看原文
该研究室基于基础理论研究程序验证与程序合成。
About关于研究室
以逻辑挑战下一代软件的可靠性与效率。
软件构成论研究室基于形式逻辑和程序理论等基础理论，
尤其致力于程序验证
用于解决验证与合成问题的求解器等工具，
术语说明
- 程序验证
- 从数学上严格保证程序满足规约的技术
- 程序合成
- 根据规约生成满足该规约的程序的技术
- 求解器
- 将验证或合成问题表示为公式并求出其解的程序
Research研究课题
该研究室以确
Members教师
- 教授海野 広志
- 助理教授Eberhart Clovis
Voices学长学姐的评价
评价基于在读
对于接受采访的学生，
学长学姐的评价
研究成果
专注于实验室内研究积极在学会・论文中发表
--
课题自由度
导师提供课题自己决定课题
--
指导力度
放手让学生自主 细致指导
--
研究经费
巧妙调配设备・资金充裕
--
成员氛围
各自默默工作热闹融洽
--
整体繁忙程度
全力投入研究时间充裕
--
核心时间-
研究室会议-
暂无学长学姐评价
学长学姐的评价会回答这些问题
- 这个研究室的推荐点是什么?
- 进入后才知道的事情是什么?
- 氛围和老师的性格如何?
- 推荐给什么样的学生?
- 毕业后的去向?
Related与软件构成论研究室相似的研究室
高次视觉信息学研究室信息科学研究生院 系统信息科学专业我们在看什么——人类视觉功能的阐明——
自然语言处理学研究室信息科学研究生院 系统信息科学专业面向沟通支持的高级自然语言处理。
智能系统科学研究室信息科学研究生院 系统信息科学专业人工智能与字符串处理 人工智能的理论与应用 以从
信息系统评价学研究室信息科学研究生院 系统信息科学专业面向高质量信息系统设计的数学方法基础构建。本页信息由LabLog运营团队根据研究室的公开信息和采访整理。
关于图片
顶部和研究课题的图片为示意图，
- 顶部图片：《SoftwareRepresentations》 ScriboMollisOpus／CC0（裁剪）
- 验证・合成工具与基础理论：《Code on computer monitor (Unsplash)》 Markus Spiske markusspiske／CC0（裁剪）
- 相关研究室
（高次视觉信息学研究室） ：《Optical Illusion》 Ironnail／CC BY-SA 4.0（裁剪） - 相关研究室
（自然语言处理学研究室） ：《微型数据中 心(DX edge ZellaPro25)》 Muromurot／CC0（裁剪） - 相关研究室
（智能系统科学研究室） ：《Data center roof》 Rsparks3／CC0（裁剪） - 相关研究室
（信息系统评价学研究室） ：《Efficient and Secure Group Messaging Encryption (2020) - page 8》 Tyler Weitzman／CC BY-SA 4.0（裁剪）
关于 LabLog
LabLog 是学生专属的研究室评价应用。
本页的研究室基本信息和评分汇总与 LabLog 介绍允许搜索引擎和 AI 引用。