---
layout: default
title: Authors - Frama-C
---

  <div id="wrapper" class="hfeed">
    
	{% include headers.html %}

    <div id="container" class="mainContainer">
      <div class="defaultPage authorsPage" id="content" role="main">
        <article id="post-231" class="post-231 page type-page status-publish hentry">
          <h1 class="entry-title">Authors</h1>

          <section class="articleContent">
            <div class="authorPageContent pageWrapper">
              <div class="contentInfoBox">
                <h5>The Frama-C platform is the creation of:</h5>

                <nav>
                  <span>François Bobot</span> | <span>Loïc Correnson</span> | <span>Richard Bonichon</span> | <span>Pascal
                  Cuoq</span> | <span>Zaynah Dargaye</span> | <span>Jean-Christophe Filliâtre</span> | <span>Philippe
                  Herrmann</span> | <span>Florent Kirchner</span> | <span>Matthieu Lemerre</span> | <span>Claude Marché</span> |
                  <span>Benjamin Monate</span> | <span>Yannick Moy</span> | <span>Anne Pacalet</span> | <span>Virgile
                  Prevosto</span> | <span>Julien Signoles</span> | <span>Boris Yakobowski</span>
                </nav>
              </div>

              <div class="contentInfoBox">
                <h5>The Frama-C platform is co-developed at two French public institutions:</h5>

                <div class="authorList">
                  <div class="authorInfo">
                    <figure>
                      <img src="/assets/img/author/list-cea-tech.jpg">
                    </figure>

                    <p><span class="title">CEA LIST</span> Software Security Laboratory</p>
                  </div>

                  <div class="authorInfo">
                    <figure>
                      <img src="inria.jpg">
                    </figure>

                    <p><span class="title">INRIA Saclay - ILe - De - France</span> Toccata team, common with LRI-CNRS and
                    Université Paris-Sud 11</p>
                  </div>
                </div>
              </div>

              <div class="entry-links hide"></div>
            </div>
          </section>
        </article>

        <section class="bgTitleBlk titleIn lightTxt">
          <div class="upperBlk">
            <div class="upperType">
              Authors
            </div>
          </div>

          <div class="lowerBlk">
            <div class="lowerType">
              Authors
            </div>
          </div>
        </section>

        <section id="comments" style="display: none;"></section>
      </div>
	  
	  {% include footer.html %}

      <div class="clear"></div>
    </div>
  </div>