Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

People

The group was set up on 1st 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 Johannes Marti
See Johannes' homepage for more details or email johannes.marti [at] strath.ac.uk.
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.
Dr Phil Scott
who is a KTP Associate at Symphonic Software under Bob Atkey's direction.

Alumni

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 (internal).
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.