diff --git a/_config.yml b/_config.yml index 30470539a7d9aa047f9733b6b38e16ea6c0dbd1b..ef7ec9bc691ba0f0dc96ecf1a9e9e236d8f84646 100644 --- a/_config.yml +++ b/_config.yml @@ -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: . diff --git a/_includes/person-card.html b/_includes/person-card.html new file mode 100644 index 0000000000000000000000000000000000000000..48d68128eadc812db5bcfc3580284504859c2567 --- /dev/null +++ b/_includes/person-card.html @@ -0,0 +1,7 @@ +<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> diff --git a/_layouts/person.html b/_layouts/person.html new file mode 100644 index 0000000000000000000000000000000000000000..f0b2cb252d1a176a021bf3dcbbf99c68653ddb2e --- /dev/null +++ b/_layouts/person.html @@ -0,0 +1,27 @@ +--- +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> Webpage</a> + <a class="list-group-item" href="mailto:{{ page.email }}"><i class="fa fa-fw fa-envelope-o"></i> {{ 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> diff --git a/_layouts/publications.html b/_layouts/publications.html deleted file mode 100644 index 2d61b4bc7c4fafc6c47f77f6ffad63949e8c17ac..0000000000000000000000000000000000000000 --- a/_layouts/publications.html +++ /dev/null @@ -1,4 +0,0 @@ ---- -layout: page ---- - diff --git a/_people/philippa-gardner.md b/_people/philippa-gardner.md new file mode 100644 index 0000000000000000000000000000000000000000..afa8fbd1a83d578aa29ce0c32abb57545980a131 --- /dev/null +++ b/_people/philippa-gardner.md @@ -0,0 +1,22 @@ +--- +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. diff --git a/_imgs/azalea.jpg b/images/azalea.jpg similarity index 100% rename from _imgs/azalea.jpg rename to images/azalea.jpg diff --git a/_imgs/gardner.jpg b/images/gardner.jpg similarity index 100% rename from _imgs/gardner.jpg rename to images/gardner.jpg diff --git a/_imgs/julian.jpg b/images/julian.jpg similarity index 100% rename from _imgs/julian.jpg rename to images/julian.jpg diff --git a/_imgs/pedro.jpg b/images/pedro.jpg similarity index 100% rename from _imgs/pedro.jpg rename to images/pedro.jpg diff --git a/_imgs/shale.jpg b/images/shale.jpg similarity index 100% rename from _imgs/shale.jpg rename to images/shale.jpg diff --git a/people.html b/people.html new file mode 100644 index 0000000000000000000000000000000000000000..55836a4122f89b9f53ede93d3a3d45ceed23491a --- /dev/null +++ b/people.html @@ -0,0 +1,7 @@ +--- +title: People +permalink: /people/ +--- +<div class="row"> + {% for person in site.people %}{% include person-card.html %}{% endfor %} +</div>