Yale FLINT Group: Advanced Development of Certified Software

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:

Contents

  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
Validate this page
colophon