The FLINT group at Yale aims to develop a novel and practical programming infrastructure for constructing large-scale certified systems software. By combining recent new advances in programming languages, formal semantics, certified operating systems, program verification, proof assistants and automation, language-based security, and certifying compilers, we hope to attack the following research questions:
  Research |   An overview of our research agenda. |
  People |   Who we are. |
  Publications |   Published papers, technical reports, and talks online. |
  Software |   Source code available for download. |
  Support |   Research grants that support our work. |
  Links |   Pointers to related projects and resources. |
  Internal |   Restricted access. Information for members, ideas for student projects, etc. |
Copyright © 1996-2024 The FLINT Group
<flint at cs dot yale dot edu>
Yale University Department of Computer Science |
colophon |