耶鲁大学的FLINT小组旨在开发一种新颖实用的构建大规模认证的编程基础设施系统软件。通过结合编程语言的最新进展，形式语义、认证操作系统、程序验证、，校对助手和自动化、基于语言的安全性，以及认证编译器，我们希望解决以下研究问题：
- 什么系统软件结构可以为可扩展性、安全性和弹性？
- 什么程序逻辑和语义模型是最好的捕捉这些抽象？
- 什么是适合开发的编程语言和环境这样的认证系统软件？
- 如何建立新的自动化设施，使认证软件真的可以扩展吗？
目录
| 研究 |
我们的研究议程概述。 |
| 人 |
我们是谁。 |
| 出版物 |
发表论文、技术报告和在线演讲。 |
| 软件 |
源代码可供下载。 |
| 支持 |
支持我们工作的研究拨款。 |
| 链接 |
指向相关项目和资源的指针。 |
| 内部 |
受限访问。会员信息、想法学生项目等。 |
