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

Initial people pages

parent 5d4570bc
No related branches found
No related tags found
No related merge requests found
......@@ -15,6 +15,10 @@ exclude:
- .gitlab-ci.yml
- README.md
collections:
people:
output: true
defaults:
-
scope:
......@@ -23,6 +27,12 @@ defaults:
layout: "page"
menu: true
menu_order: 9
-
scope:
path: ""
type: people
values:
layout: person
scholar:
source: .
......
<div class="col-sm-4 card text-xs-center">
<a href="{{ person.url }}">
<img class="img-circle" src="{{ person.image | prepend: site.baseurl }}" />
<h4 class="card-title">{{ person.firstname }} {{ person.lastname }}</h4>
</a>
<h6 class="card-subtitle text-muted">{{ person.position }}</h6>
</div>
---
layout: page
menu: false
---
<div class="row">
<div class="col-sm-12">
<h3 class="text-muted">{{ page.position }}</h3>
</div>
</div>
<div class="row">
<div class="col-sm-4">
<div class="card">
<img class="img-circle center-block" style="width: 50%" src="{{ page.image | prepend: site.baseurl }}" />
<div class="list-group list-group-flush">
<a class="list-group-item" href="{{ page.webpage }}"><i class="fa fa-fw fa-globe"></i>&nbsp; Webpage</a>
<a class="list-group-item" href="mailto:{{ page.email }}"><i class="fa fa-fw fa-envelope-o"></i>&nbsp; {{ page.email }}</a>
</div>
</div>
</div>
<div class="col-sm-8">
<h4>Biography</h4>
{{ content }}
<h4>Group Publications</h4>
{% bibliography -q @*[author =^ {{ page.lastname }} %}
</div>
</div>
---
layout: page
---
---
title: Philippa Gardner
firstname: Philippa
lastname: Gardner
image: /images/gardner.jpg
position: Professor, Group Leader
webpage: http://www.doc.ic.ac.uk/~pg/
email: pg@doc.ic.ac.uk
---
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
particular, reasoning about web programs (JavaScript and DOM) and
reasoning about concurrent programs.
She completed her PhD thesis, supervised by Professor Gordon Plotkin
FRS at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC
Advanced Fellowship, hosted by Professor Robin Milner FRS. She
obtained a lectureship at Imperial in 2001, and became professor in
2009. She held a Microsoft Research Cambridge/Royal Academy of
Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is the
Director of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),
funded by GCHQ in association with EPSRC.
File moved
File moved
File moved
File moved
File moved
---
title: People
permalink: /people/
---
<div class="row">
{% for person in site.people %}{% include person-card.html %}{% endfor %}
</div>
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