Skip to content
Snippets Groups Projects
Commit 3ea6ef51 authored by Thomas Wood's avatar Thomas Wood
Browse files

Create research project page template

* People may be assigned to multiple research projects.
* Plugin for advanced filter expressions (see also
  https://github.com/jekyll/jekyll/pull/4478)
parent 5bc73509
No related branches found
No related tags found
No related merge requests found
<div class="col-sm-4 col-md-4 card card-block text-xs-center people">
<a href="{{ person.url }}">
<img class="img-circle" style="width: 75%" src="{{ person.image | prepend: site.baseurl }}" alt="Photo of {{ person.firstname }} {{ person.lastname }}" />
<h4 class="card-title">{{ person.firstname }} {{ person.lastname }}</h4>
</a>
<h6 class="card-subtitle text-muted">{{ person.position }}</h6>
</div>
---
layout: page
---
{{ content }}
{% assign people = site.people | where_exp: "person", "person.projects contains page.project_id" %}
{% if people.size > 0 %}
<h3>People</h3>
<div class="row">
{% for person in people %}{% include person-card.html %}{% endfor %}
</div>
{% endif %}
<h3>Recent Publications</h3>
{% bibliography -q @*[project ~= {{page.project_id}}] --max 10 %}
......@@ -6,6 +6,8 @@ position: PhD Student
webpage: http://www.doc.ic.ac.uk/~pmd09/
email: pmd09@doc.ic.ac.uk
github: pedromdrp
projects:
- concurrency
---
Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at
Imperial. His research focusses on developing logics for verification of fine-grained concurrent programs.
......@@ -5,6 +5,8 @@ image: /images/gardner.jpg
position: Professor, Group Leader
webpage: http://www.doc.ic.ac.uk/~pg/
email: pg@doc.ic.ac.uk
projects:
- concurrency
---
Philippa Gardner is a professor in the [Department of Computing](http://www.doc.ic.ac.uk) at
Imperial. Her current research focusses on program verification: in
......
......@@ -6,5 +6,7 @@ position: PhD Student
webpage: http://www.doc.ic.ac.uk/~gn408/
email: gian.ntzik08@imperial.ac.uk
github: anirothan
projects:
- concurrency
---
......@@ -5,5 +5,7 @@ image: /images/azalea.jpg
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~azalea/
email: azalea@imperial.ac.uk
projects:
- concurrency
---
......@@ -5,5 +5,7 @@ image: /images/julian.jpg
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~jhs110/
email: jhs110@doc.ic.ac.uk
projects:
- concurrency
---
......@@ -5,5 +5,7 @@ image: /images/shale.jpg
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~sx14/
email: shale.xiong14@imperial.ac.uk
projects:
- concurrency
---
module Jekyll
module ExtraFilters
# Filters input against an arbitrary expression, where each item is assigned to variable
def where_exp(input, variable, expression)
c = parse_comparison(expression)
@context.stack do
input.select do |object|
@context[variable] = object
c.evaluate(@context)
end
end
end
private
def parse_comparison(exp)
p = Liquid::Parser.new(exp)
a = p.expression
if op = p.consume?(:comparison)
b = p.expression
c = Liquid::Condition.new(a, op, b)
else
c = Liquid::Condition.new(a)
end
p.consume(:end_of_string)
c
end
end
end
Liquid::Template.register_filter(Jekyll::ExtraFilters)
......@@ -32,6 +32,6 @@ underlying reasoning about concurrent systems, to extend the reasoning
to distributed systems, and to test the reasoning on key applications
such as databases, file systems, and data centres.
Please take a look at our Project web page for more details, and do not
Please take a look at our [Project web page](/research/concurrency.html) for more details, and do not
hesitate to contact us if you are interested in one of these postdoc
positions.
......@@ -5,13 +5,5 @@ menu_order: 2
permalink: /people/
---
<div class="row">
{% for person in site.people %}
<div class="col-sm-4 col-md-4 card card-block text-xs-center people">
<a href="{{ person.url }}">
<img class="img-circle" style="width: 75%" src="{{ person.image | prepend: site.baseurl }}" alt="Photo of {{ person.firstname }} {{ person.lastname }}" />
<h4 class="card-title">{{ person.firstname }} {{ person.lastname }}</h4>
</a>
<h6 class="card-subtitle text-muted">{{ person.position }}</h6>
</div>
{% endfor %}
{% for person in site.people %}{% include person-card.html %}{% endfor %}
</div>
---
title: Concurrency
menu:
menu_order: 1
project_id: concurrency
layout: research
---
Concurrent programs and libraries are ubiquitous in today's world of multi-core processor architectures,
......@@ -18,7 +18,3 @@ We have applied these logics to the verification of large problems, such as data
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 can deal with more advanced algorithms, and the development of automated reasoning tools based on these logics.
Recent Publications
===================
{% bibliography -q @*[project ~= concurrency] --max 5 %}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment