index.html

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

# groups of columns of {roles: list, width: num, image: bool}
role-tables:
- - roles: [faculty, postdoc]
    width: 4
    image: true
  - roles: [grad]
    width: 4
    image: true
  - roles: [alum]
    width: 4
    image: false
#- - roles: [collab, ugrad, ugrad-alum]
#    width: 5
#    image: false
#  - roles: [alum]
#    width: 7
#    image: false

---

<div class="container">
<div class="row">
<div class="col-lg-8">
<div class="jumbotron">
    <p>
		We are the <strong>System Analysis and Verification (SAV) Group</strong> at Singapore Management University!
	</p>
	<p>
		Our group develops systematic tools, theories, and methodologies for ensuring the correctness, reliability, and efficiency of software and systems, focusing on automated techniques such as model checking, machine learning, and program analysis.
	</p>
        <!-- The <b>System Analysis and Verification (SAV) Group</b> at <b>Singapore Management University</b> develops systematic tools, theories, and methodologies for ensuring the correctness, reliability, and efficiency of software and systems, focusing on automated techniques such as model checking, machine learning, and program analysis. We target several different kinds of advanced software/systems, including critical infrastructure, autonomous vehicles, and smart contracts. -->
    </p>
</div>
</div>
<div class="col-lg-4 text-center">
	<!-- <img src="/img/group.jpg" alt="Group photo from 2017" class="rounded w-100" style="max-width: 500px;"> -->
	<div id="carouselExampleControls" class="carousel slide" style="border-radius: 5px; overflow: hidden;" data-ride="carousel">
	  <div class="carousel-inner">
	    <div class="carousel-item active">
	      <img class="d-block w-100 rounded" src="/img/smu.jpg" alt="Photo of SMU">
	    </div>
	    <div class="carousel-item">
	      <img class="d-block w-100 rounded" src="/img/smu2.jpg" alt="Photo of SMU">
	    </div>
	    <div class="carousel-item">
	      <img class="d-block w-100 rounded" src="/img/group.jpg" alt="Old group photo... to be updated post-COVID!">
	    </div>
	  </div>
	  <a class="carousel-control-prev" href="#carouselExampleControls" role="button" data-slide="prev">
	    <span class="carousel-control-prev-icon" aria-hidden="true"></span>
	    <span class="sr-only">Previous</span>
	  </a>
	  <a class="carousel-control-next" href="#carouselExampleControls" role="button" data-slide="next">
	    <span class="carousel-control-next-icon" aria-hidden="true"></span>
	    <span class="sr-only">Next</span>
	  </a>
	</div>
</div>
</div>

<br />

<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_title = site.projects | sort: 'title', 'first' %}
        {% for p in projects_by_title %}
            {% if p.active %}
                {% include project-card-2.html project=p %}
            {% endif %}
        {% endfor %}
    </div>
	
    <p>
        <span class="fa fa-fw fa-history"></span>
        <a href="{{ site.base }}/research.html#past">Older research projects&hellip;</a>
    </p>
</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>