index.html

---
layout: default
title: Home
notitle: true

# groups of columns of {roles: list, width: num, image: bool}
role-tables:
- - roles: [faculty1]
    width: 4
    image: true
  - roles: [faculty2]
    width: 4
    image: true
  - roles: [aff-faculty]
    width: 4
    image: true
- - roles: [scientist, postdoc]
    width: 4
    image: false
  - roles: [student]
    width: 4
    image: false
  - roles: [alum]
    width: 4
    image: false

---

<div class="jumbotron">
    <p>
        Our group of labs targets a broad spectrum of fundamental questions and emerging challenges in the scalability, dependability, efficiency, and security of computer systems. We explore new ways to design, verify, transform, and evaluate systems of all kinds, ranging from embedded and mobile systems to data centers and geographically distributed systems. We place great emphasis on building and deploying prototypes, and we experimentally validate our research ideas.
    </p>
</div>

<section>
    <h2>News</h2>
    <ul class="news list-unstyled">
        {% for post in site.posts limit: site.front_page_news %}
            {% include news-item.html item=post %}
        {% endfor %}
    </ul>
    {% assign numposts = site.posts | size %}
    {% if numposts >= 1 %}
        <p>
            <span class="fa fa-fw fa-history"></span>
            <a href="{{ site.base }}/news.html">Older posts&hellip;</a>
        </p>
    {% endif %}
</section>

<!-- <section>
    <h2>Research</h2>
    <div class="card-columns">
        {% comment %}
        Sort the projects by date, putting those without dates last
        {% endcomment %}
        {% assign projects_by_date = site.projects | sort: 'last-updated', 'first' %}
        {% assign projects_by_date = projects_by_date | reverse %}
        {% for p in projects_by_date %}
            {% if p.status != "inactive" %}
                {% include project-card.html project=p %}
            {% endif %}
        {% endfor %}
    </div>
</section> -->

<div id="people">
    <h2>People</h2>
    {% for role-table in page.role-tables %}
        <section class="people row justify-content-between">
            {% for role-column in role-table %}
                <div class="col-md-{{ role-column.width }}">
                    {% for role in role-column.roles %}
                        {% include role-people.html role=role image=role-column.image %}
                    {% endfor %}
                </div>
            {% endfor %}
        </section>
    {% endfor %}
</div>