Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

People

The group was set up on 1<sup>st</sup> July 2008 within the Department of Computer and Information Sciences at the University of Strathclyde and comprises

Prof. Neil Ghani

: who is currently working on theories of advanced data types, containers, induction recursion, parametricity and all areas of category theory. See Neil's current homepage for more details or email neil.ghani [at] strath.ac.uk. And, here is a picture of Neil.

Dr Conor McBride

: who is currently working on dependently typed programming. He is also interested in extending the functionality of Haskell so that it can mimic the dependently-typed style of programming. See Conor's current homepaqe for more details or email conor.mcbride [at] strath.ac.uk.

Dr Clemens Kupke

: who is currently working on both coalgebras and logics for knowledge representation and databases. See Clemens' homepage for more details or email clemens.kupke [at] strath.ac.uk.

Dr Ross Duncan

: 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 Ross' homepage for more details or email ross.duncan [at] strath.ac.uk.

Dr Bob Atkey

: See Bob's homepage or email robert.atkey [at] strath.ac.uk.

Dr Fredrik Nordvall Forsberg

: who is interested in Martin-Löf Type Theory, constructive mathematics, and category theory. See Fred's homepage for more details or email fredrik.nordvall-forsberg [at] strath.ac.uk<

Dr James Chapman

: See James' homepage for more details or email james.chapman [at] strath.ac.uk.

Dr Phil Scott

: who is a KTP Associate at Symphonic Software under Bob Atkey's direction.

Guillaume Allais

: who is a PhD student under Conor McBride's direction. Guillaume's webpage.

Stevan Andjelkovic

: who is a PhD student under Conor McBride's direction.

Kevin Dunne

: who is a PhD student under Ross Duncan's direction.

Ben Price

: who is a PhD student under Neil Ghani's direction. Ben's webpage.

Stuart Gale

: who is a PhD student under Conor McBride's direction. Stuart's webpage.

Simone Barlocco

: who is a PhD student under Clemens Kupke's direction.

Alasdair Lambert

: who is a PhD student under Clemens Kupke's and Neil Ghani's direction.

Joseph Collins

: who is a PhD student under Ross Duncan's direction.

James Wood

: who is a PhD student under Bob Atkey's direction.

Alumni

Dr Johannes Marti

: who worked as an RA on Clement Kupke's grant Coalgebraic Foundations of Semi-Structured Data.

Dr Federico Orsanigo

: who was a PhD student under Neil Ghani's direction on the topic of bifibrational parametricity.

Alwin Blok

: who was a PhD student under Clemens Kupke's direction.

Dr Tim Revell

: who was a PhD student under Neil Ghani's direction on the topic of symmetry and parametricity.

Dr Lorenzo Malatesta

: who was a PhD student under Neil Ghani's direction on the topic of induction-recursion.

Dr Peter G. Hancock

: who is interested in logic, type theory and computer systems. He worked with Prof. Neil Ghani on induction recursion. Email: hancock [at] fastmail.fm.

Dr Clement Fumex

: 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 Bart Jacobs (external) and Conor McBride.

Dr Patricia Johann

: 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.

Dr Sam Lindley

: who worked as an RA on Dr McBride's grant Haskell Types with Added Value.

Dr Pierre-Evariste Dagand

: who was a PhD student under Conor McBride's direction on the topic of reusability and dependent types.

Dr Adam Gundry

: who was a PhD student under Conor McBride's direction on the topic of adding Nat-indexed families to Haskell.