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