people.html

### default.html(section.people=current)

<h2>People</h2>

<p>
  The group was set up on 1<sup>st</sup> July 2008 within
  the <a href="http://www.cis.strath.ac.uk"> Department of Computer
  and Information Sciences </a> at the University of Strathclyde and
  comprises

<dl>
  <dt>
    <a href='http://www.strath.ac.uk/staff/ghanineilprof/'>Prof. Neil Ghani</a>
  </dt>
  <dd>
    who is currently working on theories of advanced data types,
    containers, induction recursion, parametricity and all areas of category
    theory. See <a href="http://personal.cis.strath.ac.uk/~ng/">Neil's
    current homepage</a> for more details or
    email <a href="mailto:neil.ghani%20%5Bat%5D%20cis.strath.ac.uk">neil.ghani
    [at] cis.strath.ac.uk</a>. And,
    <a href="http://www.cis.strath.ac.uk/~ng/neil.jpg">here</a> is a
    picture of Neil.
  </dd>

  <dt>
    <a href='http://www.strath.ac.uk/staff/mcbrideconordr/'>Dr Conor McBride</a>
  </dt>
  <dd>
    who is currently working on dependently typed programming and, in
    particular, <a href="http://www.e-pig.org/">Epigram</a>. He is
    also interested in extending the functionality of Haskell so that
    it can mimic the dependently-typed style of
    programming. See <a href="http://personal.cis.strath.ac.uk/~conor/">Conor's
    current homepaqe</a> for more details or
    email <a href="mailto:conor.mcbride%20%5Bat%5D%20cis.strath.ac.uk">conor.mcbride [at] cis.strath.ac.uk</a>.
  </dd>


  <dt>
    <a href='http://www.strath.ac.uk/staff/kupkeclemensdr/'>Dr Clemens Kupke</a>
  </dt>
  <dd>
    who is currently working on both coalgebras and logics for knowledge representation and databases. See <a href="https://personal.cis.strath.ac.uk/clemens.kupke/">Clemens'
   homepage</a> for more details or
    email <a href="mailto:clemens.kupke%20%5Bat%5D%20cis.strath.ac.uk">clemens.kupke [at] cis.strath.ac.uk</a>.
  </dd>

  <dt>
    <a href='http://www.strath.ac.uk/staff/duncanrossdr/'>Dr Ross Duncan</a>
  </dt>
  <dd>
    who is interested in quantum computation, the foundations of quantum mechanics,
    category theory and its application in computer science, logic and physics,
    and graphical techniques for reasoning.
    See <a href="http://personal.strath.ac.uk/ross.duncan/">Ross'
    homepage</a> for more details or email <a href="mailto:ross.duncan%20%5Bat%5D%20cis.strath.ac.uk">ross.duncan [at] cis.strath.ac.uk</a>.
  </dd>

  <dt>
   <a href='http://www.strath.ac.uk/staff/atkeyrobertdr/'>Dr Bob Atkey</a>
  </dt>
  <dd>
    See <a href="http://bentnib.org/">Bob's
    homepage</a> or email <a href="mailto:bob.atkey%20%5Bat%5D%20gmail.com">bob.atkey [at] gmail.com</a>.
  </dd>


 <dt>
   <a href='http://www.strath.ac.uk/staff/nordvallforsbergfredrikdr/'>Dr Fredrik Nordvall Forsberg</a>
 </dt>
 <dd>
   who is interested in Martin-L&ouml;f Type Theory, constructive  mathematics, and category theory. See
   <a href="http://personal.cis.strath.ac.uk/fredrik.nordvall-forsberg/">Fred's
   homepage</a> for more details or email
   <a href="mailto:fredrik.nordvall-forsberg%20%5Bat%5D%20strath.ac.uk">fredrik.nordvall-forsberg [at] strath.ac.uk</a>.
 </dd>

 <dt>
   <a href='http://www.strath.ac.uk/staff/?term=James%20Chapman'>Dr James Chapman</a>
 </dt>
 <dd>
   See
   <a href="http://personal.strath.ac.uk/james.chapman">James'
   homepage</a> for more details or email
   <a href="mailto:james.chapman%20%5Bat%5D%20strath.ac.uk">james.chapman [at] strath.ac.uk</a>.
 </dd>


  <dt>Guillaume Allais</dt>
  <dd>
    who is a PhD student under Conor McBride's direction. <a href="http://gallais.org/">Guillaume's webpage</a>.
  </dd>

  <dt>Stevan Andjelkovic</dt>
  <dd>
    who is a PhD student under Conor McBride's direction.
  </dd>

  <dt>Federico Orsanigo</dt>
  <dd>who is a PhD student under Neil Ghani's direction.</dd>

  <dt>Alwin Blok</dt>
  <dd>who is a PhD student under Clemens Kupke's direction. <a href='http://alwinblok.nl/'>Alwin's webpage</a>.</dd>

  <dt>Kevin Dunne</dt>
  <dd>who is a PhD student under Ross Duncan's direction.</dd>

  <dt>Ben Price</dt>
  <dd>who is a PhD student under Neil Ghani's direction.</dd>
</dl>

<h2>Alumni</h2>

<dl>
  <dt>Dr Tim Revell</dt>
  <dd>who was a PhD student under Neil Ghani's direction on the topic of symmetry and parametricity.</dd>

  <dt>Dr Lorenzo Malatesta</dt>
  <dd>
    who was a PhD student under Neil Ghani's direction on the topic of induction-recursion.
  </dd>

  <dt>Dr Peter G. Hancock</dt>
  <dd>
    who is interested in logic, type theory and computer systems. He
    worked with Prof. Neil Ghani on induction
    recursion. Email: <a href="mailto:hancock%20%5Bat%5D%20fastmail.fm">hancock [at] fastmail.fm</a>.
  </dd>

  <dt>Dr Clement Fumex</dt>
  <dd>
    was a PhD student under Patricia Johann's direction on the topic
    of generic induction principles. Clement completed his PhD in
    2012. Clement's thesis is entitled "Induction and Coinduction
    schemes in Category Theory". His examiners
    were <a href="http://www.cs.ru.nl/~bart/">Bart Jacobs</a>
    (external) and
    <a href="https://personal.cis.strath.ac.uk/conor.mcbride/">Conor
    McBride</a> (internal).
  </dd>

  <dt>
    <a href="http://www.cs.appstate.edu/~johannp/">Dr Patricia Johann</a>
  </dt>
  <dd>
    who worked on advanced data types and categorical and operational
    models of parametricity. Patricia left in 2013 to take up a
    Chair at Appalachian State University.
  </dd>

  <dt><a href="http://homepages.inf.ed.ac.uk/slindley/">Dr Sam Lindley</a></dt>
  <dd>who worked as an RA on Dr McBride's grant Haskell Types with Added Value.</dd>

  <dt><a href="http://pagesperso-systeme.lip6.fr/Pierre-Evariste.Dagand/">Dr Pierre-Evariste Dagand</a></dt>
  <dd>
    who was a PhD student under Conor McBride's direction on the topic of
    reusability and dependent types.
  </dd>

  <dt><a href="http://adam.gundry.co.uk/">Dr Adam Gundry</a></dt>
  <dd>
    who was a PhD student under Conor McBride's direction on the
    topic of adding Nat-indexed families to Haskell.
  </dd>

</dl>