diff --git a/_layouts/home.html b/_layouts/home.html
new file mode 100644
index 0000000000000000000000000000000000000000..befaf2990aac4308e4b5d1574a385567f120ad21
--- /dev/null
+++ b/_layouts/home.html
@@ -0,0 +1,27 @@
+---
+layout: default
+---
+<div class="jumbotron">
+  <div class="lead">
+    {{ content }}
+  </div>
+  <a class="btn btn-primary btn-lg" href="{{ site.pages | where:'title','Research' | map:'url' }}">Our Research</a>
+</div>
+
+
+<div class="row">
+  <div class="col-sm-6">
+    <h2>News</h2>
+      {% for post in site.posts %}
+      <h3 class="blog-post-title"><a href="{{ post.url }}">{{ post.title }}</a></h3>
+      <p class="blog-post-meta">{{ post.date | date: "%b %-d, %Y" }}</p>
+      {{ post.excerpt}}
+      {% endfor %}
+    </div>
+
+  <div class="col-sm-6">
+    <h2>Recent Publications</h2>
+    {% bibliography --max 5 %}
+  </div>
+</div>
+
diff --git a/advert.md b/_posts/2016-02-18-advert.md
similarity index 93%
rename from advert.md
rename to _posts/2016-02-18-advert.md
index 1c92ffdf41c19791205aa36ca37e3da7efa919fe..b9ebef574b592fa75a8ba355dc736ddac21eba49 100644
--- a/advert.md
+++ b/_posts/2016-02-18-advert.md
@@ -1,11 +1,6 @@
 ---
-title: Job Announcements
-menu: true
-menu_order: 10
+title: Two new postdoc positions at Imperial College!
 ---
-
-<h4> Two new postdoc positions at Imperial College! </h4> 
-
 We are seeking two outstanding postdocs (one dominantly theoretical, one 
 dominantly practical) with strong interests in the formal specification and 
 verification of concurrent and distributed systems to join the Program 
diff --git a/_research/concurrency.md b/_research/concurrency.md
index e634b66849920fbdcec243b544d1e74d8928c839..0df63bbf98e20bab9aec6af35d72b51bff9ae4bb 100644
--- a/_research/concurrency.md
+++ b/_research/concurrency.md
@@ -7,7 +7,7 @@ Concurrent programs and libraries are ubiquitous in today's world of multi-core
 and the need for reasoning about concurrent programs and verifying their correctness grows 
 increasingly more important. These research problems are still considered difficult for a variety of reasons,
 such as the fact that we need to consider and reach conclusions about a shared state 
-affected by multiple threads, or [another reason].
+affected by multiple threads.
 
 Our research agenda is to develop formal reasoning methods about concurrency with a focus on concurrent program logics.
 Recently, various logics based on separation logic were introduced with the aim of verifying functional correctness of fine-grained concurrent programs.
diff --git a/_research/javascript.md b/_research/javascript.md
new file mode 100644
index 0000000000000000000000000000000000000000..f8273dc84b2272f8a99d2f4322472253bf4ee395
--- /dev/null
+++ b/_research/javascript.md
@@ -0,0 +1,5 @@
+---
+title: JavaScript
+project_id: javascript
+---
+
diff --git a/index.md b/index.md
index a6bd718d13a56555bd0e80a9f4f3c4229bf26add..b2054a0e5f7dbb8057db82fc4668f140b154b769 100644
--- a/index.md
+++ b/index.md
@@ -1,19 +1,8 @@
 ---
+layout: home
 title: Home
 menu: true
 menu_order: 1
 ---
+One paragraph about the group and its research, about 4 lines of text would be good here. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut ante enim, bibendum vitae vestibulum in, luctus et diam. Quisque pulvinar accumsan nisl, et lobortis enim euismod quis. Praesent pulvinar nulla justo, ut vulputate leo blandit sit amet. Mauris fringilla sodales nulla at porta. Vivamus ligula leo, ultrices ut quam sit amet, ullamcorper volutpat magna. Quisque consequat, sem in lobortis scelerisque, quam turpis ornare odio, auctor congue nisi velit in dolor. Curabitur auctor fermentum eros at dictum.
 
-Concurrent programs and libraries are ubiquitous in today's world of multi-core processor architectures, 
-and the need for reasoning about concurrent programs and verifying their correctness grows 
-increasingly more important. These research problems are still considered difficult for a variety of reasons,
-such as the fact that we need to consider and reach conclusions about a shared state 
-affected by multiple threads, or [another reason].
-
-Our research agenda is to develop formal reasoning methods about concurrency with a focus on concurrent program logics.
-Recently, various logics based on separation logic were introduced with the aim of verifying functional correctness of fine-grained concurrent programs.
-We have played a significant role in the development of {% cite_details Dinsdale-Young2010Concurrent --text Concurrent Abstract Predicates %}, {% cite_details Dinsdale-Young2013Views --text Views %}, {% cite_details daRochaPinto2014TaDA --text TaDA %}, {% cite_details Raad2015CoLoSL --text CoLoSL %}, {% cite_details Ntzik2015Fault --text Fault-tolerant Concurrent Separation Logic %} and {% cite_details daRochaPinto2016Modular --text Total-TaDA %}.
-These logics have tackled a range of problems, including data abstraction, atomicity abstraction, fault-tolerance, terminal, while introducing more modular and compositional ways to reason about concurrent programs.
-We have applied these logics to the verification of large problems, such as data structures used in databases and java.util.concurrent, as well as the specification of file systems.
-
-Our mission is to continually challenge and improve the state-of-the-art, targeting progress properties, specification of concurrency in POSIX filesystems, refinement of our logics so that we are able to deal with more advanced algorithms, and the development of automated reasoning tools based on these logics.
diff --git a/people.html b/people.html
index 991455d0cefbf37c1447a327fa870841e869ebfb..f85c8eb3bc14df847b425aa16423fc10ed23d483 100644
--- a/people.html
+++ b/people.html
@@ -1,7 +1,6 @@
 ---
 title: People
 menu: true
-menu_order: 2
-permalink: /people/
+menu_order: 3
 ---
 {% include person-cards.html people=site.people %}
diff --git a/research.md b/research.md
new file mode 100644
index 0000000000000000000000000000000000000000..b11b88f00203d8c37bc36953ec864e89a5ebeedf
--- /dev/null
+++ b/research.md
@@ -0,0 +1,13 @@
+---
+title: Research
+menu: true
+menu_order: 2
+---
+
+Details about the group's research, more than on the homepage. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut ante enim, bibendum vitae vestibulum in, luctus et diam. Quisque pulvinar accumsan nisl, et lobortis enim euismod quis. Praesent pulvinar nulla justo, ut vulputate leo blandit sit amet. Mauris fringilla sodales nulla at porta. Vivamus ligula leo, ultrices ut quam sit amet, ullamcorper volutpat magna. Quisque consequat, sem in lobortis scelerisque, quam turpis ornare odio, auctor congue nisi velit in dolor. Curabitur auctor fermentum eros at dictum.
+
+{% for item in site.research %}
+<h3><a href="{{ item.url }}">{{ item.title }}</a></h3>
+{{ item.excerpt }}
+{% endfor %}
+