Our people

Our people

Advisory Board

Steve Lack

Director of CoACT

Associate Professor Steve Lack

Department of Mathematics

Steve Lack studied at the University of Sydney and Cambridge University (including a year at the Ecole Normale Supérieure in Paris), and then had positions at the Universities of Sydney and Western Sydney, before joining Macquarie in 2010. He works in category theory, especially enriched and higher category theory, and received the Medal of the Australian Mathematical Society for this work.

Dominic Verity

Associate Director of CoACT

Professor Dominic Verity

Department of Computing

Dominic Verity started his computational career in the early 1980s, as a software developer for the influential British personal computing pioneer Acorn Computers; the company which created the BBC Microcomputer and ultimately invented the ubiquitous ARM microprocessor. He studied at the University of Cambridge (UK) and emerged from that institution in 1992 with a PhD in Pure Mathematics. From 1994-2000 he worked in the investment banking industry, as a mathematical consultant in derivative securities valuation and hedging, as a quantitative analyst in equity derivatives for Deutsche Bank Australia and as the Head of Equity Derivatives Trading for HSBC Australia.

He returned to academe in late 2000.  His research interests lie in the mathematical fields of Homotopy Theory, sometimes known as “rubber sheet geometry”, Algebraic Topology and Category Theory, a kind of “theory of everything” for pure mathematics. He is also active in exploring applications of this work to the Computer Science of Programming Languages. His most cited paper (with Ross Street and Andre Joyal) introduced “Traced Monoidal Categories”, structures that have become a key component in modern accounts of iterative processes in traditional and quantum computation.  In recent years, he has held visiting Professorship positions at Harvard University, Johns Hopkins University, the Max Planck Institute for Mathematics, and the University of Cambridge.

Professor Verity is a passionate and engaging teacher, whose contributions to student learning have been recognised by a Macquarie University Vice-Chancellor's Award for Teaching Excellence (2008) and an Australian Learning and Teaching Council Citation for Outstanding Contribution to Student Learning (2011). Over the past decade, he has also been highly active in academic leadership roles at the Department, Faculty and University levels. Most recently he led Macquarie’s academic governance as Chair of it’s Academic Senate, the “principal academic body in the University”.

Ross Street

Founding Director of CoACT

Emeritus Professor Ross Street

Department of Mathematics

Ross Street did his undergraduate and postgraduate study at the University of Sydney where he submitted his PhD at the age of 22. He was a Postdoctoral Fellow at the University of Illinois and an Assistant Professor at Tulane University in New Orleans. He joined Macquarie University and has continued there as a dedicated mathematics teacher and researcher. He is Professor of Mathematics, Director of the Centre of Australian Category Theory at Macquarie University, and a Fellow of the Australian Academy of Science. Ross Street is an international leader in category theory and has produced many new concepts and deep facts. His research has carried him to many countries where he has collaborators. Recently he was awarded the Chaire de la Valle Poussin 2011 by the Université catholique de Louvain, Belgium, and the 2012 George Szekeres Medal of the Australian Mathematical Society. For recreation Ross paddles a kayak, plays the mandolin, and enjoys the Australian bush.

Richard Garner

Dr Richard Garner

Department of Mathematics

Richard Garner holds an MA and PhD from the University of Cambridge. After receiving his PhD he held Fellowship positions at Uppsala University and St John's College, Cambridge, before moving to Macquarie to join the CoACT team in 2010 as an ARC Australian Research Fellow. He is currently an ARC Future Fellow and Senior Lecturer in the Department of Mathematics; his research interests include not only category theory but its applications to logic, topology, geometry and computer science.

Michael Johnson

Professor Michael Johnson

Department of Computing

Michael Johnson has been Professor of Mathematics and Computer Science at Macquarie University since 2002. He was Foundation Director of the Macquarie-DEC ICT Innovations Centre (2002-2012) and he is a Director and Company Secretary of Dunmore Lang College. Formerly he was the Head of the Department of Computing (1997-2000), Associate Director of the Centre of Australian Category Theory (1999-2015) and Vice-President and Chair of the University's Academic Senate (2006-2008).

Wesley Phoa

Capital Strategy Research, USA









Current members

  • Ramón Abud Alcalá - PhD Student, Mathematics Department, Macquarie University
  • Michael Batanin - Associate Professor, Mathematics Department, Macquarie University
  • John Bourke - Postdoctoral Research Fellow, Mathematics Department, Macquarie University
  • Alexander Campbell - Postdoctoral Research Fellow, Mathematics Department, Macquarie University
  • Joel Couchman - MRes Student, Mathematics Department, Macquarie University
  • John Corbett - Senior Research Fellow, Mathematics Department, Macquarie University
  • James Dolan - PhD Student, Mathematics Department, Macquarie University
  • Lee Flax - Honorary Fellow, Computing Department, Macquarie University
  • Philip Hackney - Postdoctoral Research Fellow, Mathematics Department, Macquarie University
  • Hardy Hulley - Lecturer, School of Finance and Economics, UTS
  • Damian Jurd - MRes Student, Computing Department, Macquarie University
  • Carolyn Kennett - Director, Numeracy Centre, Macquarie University
  • Edoardo Lanari - PhD Student, Mathematics Department, Macquarie University
  • Poon Leung - PhD Student, Mathematics Department, Macquarie University
  • Daniel Lin - PhD Student, Mathematics Department, Macquarie University
  • Yuki Maehara - PhD Student, Mathematics Department, Macquarie University
  • Branko Nikolic - PhD Student, Mathematics Department, Macquarie University
  • Christopher Nguyen - PhD Student, Mathematics Department, Macquarie University
  • Frank Valckenborgh - Lecturer,  Mathematics Department, Macquarie University
  • Charles Walker - PhD Student, Mathematics Department, Macquarie University

Past members

  • Murray Adelman
  • Jim Andrianopoulos
  • Tom Booker
  • Mitchell Buckley
  • Matthew Burke
  • Dimitri Chikhladze
  • Jonathan Cohen
  • Sjoerd Crans
  • Kit Dampney
  • Brian Day
  • Alexei Davydov
  • Robbie Gates
  • Claudio Hermida
  • Amitavo Islam
  • Barry Jay
  • William Joyce
  • Camell Kachour
  • Giulio Katis
  • Max Kelly
  • Ignacio Lopez Franco
  • Paddy McCrudden
  • Micah Blake McCurdy
  • Margaret McIntyre
  • Catherine Menon
  • David Oury
  • Thorsten Palm
  • Elango Panchardcharam
  • Simona Paoli
  • Craig Pastro
  • Sun Shu-Hao
  • Daniel Steffen
  • Remy Tuyeras
  • Joost van Hamel
  • Bob Walters
  • Mark Weber
  • Karl Wehrhahn
  • Henry Weld

Recent visitors

  • Karol Szumiło (Nov-Dec 2017; University of Western Ontario, Canada)
  • Danny Stevenson (Nov 2017; University of Adelaide, Australia)
  • Scott Balchin (Sep 2017; University of Leicester, UK)
  • Eugenia Cheng (Aug 2017; School of the Art Institute of Chicago, USA)
  • Jun Yoshida (May-Jun 2017; University of Tokyo, Japan)
  • John Power (Jul-Aug 2016; University of Bath, UK)
  • Pierre-Louis Curien (Jun-Jul 2016; Université Paris VII, France)
  • Lilith Mattei (Sep 2015-Jan 2016; EPFL, Switzerland)
  • Roald Koudenburg (Sep-Nov 2015; Sheffield University, UK)
  • Paul Slevin (Mar-Apr 2015; Glasgow University, UK)
  • Joachim Kock (Feb-Mar 2015; UAB, Spain)
  • Paul Slevin (Dec 2014; Glasgow University, UK)
  • Tom Hirschowitz (Nov-Dec 2014; University of Savoy, France)
  • Jonas Frey (Oct-Nov 2014; University of Cambridge, UK)
  • David White (Jul-Aug 2014; Dec 2016-Jan 2017; Denison University, USA)
  • David Jordan (Jun 2014; University of Edinburgh, UK)
  • John Bourke (Jul-Aug 2013; Brno University, Czech Republic)
  • Benjamin Alarcón Heredia (Jul-Sep 2013; Universidad de Granada)
  • Thomas Athorne (Jul-Aug 2013; Sheffield University, UK)
  • Jamie Vicary (Apr 2013; Oxford University, UK)
  • Samson Abramsky (Apr 2013; Oxford University, UK)
  • Prakash Panangaden (Feb 2013; McGill University, Canada)
  • Alexei Davydov (Dec 2012-Jan 2013; Dec 2013-Jan 2014; Ohio University, USA)
  • Nick Rosenblyum (Oct 2012; Northwestern University, USA)
  • John Baez (Feb 2012; University of California, Riverside and Centre for Quantum Technologies, Singapore)
  • Daniel Schäppi (Jan-Jun 2012; University of Chicago, USA)
  • John Huerta (Oct 2011; Australian National University, Australia)
  • David Roberts (Oct 2011; University of Adelaide, Australia)
  • John Iskra (Aug-Sep 2011; Emory & Henry College, Virginia, USA)
  • David Blanc (Jul-Aug 2011; University of Haifa, Israel)
  • Jeff Egger (May-Jun 2011; Dalhousie University, Canada)
  • Marcelo Aguiar (Feb 2010; Texas A&M, USA)
  • Gabriella Böhm (Jan-Feb 2010; Nov-Dec 2013; Research Institute for Particle and Nuclear Physics, Budapest)
  • Emily Riehl (Oct 2009-Feb 2010; Aug 2011; Jan-Jul 2017; Johns Hopkins University, USA)
  • Richard Garner (Oct 2009-Feb 2010; University of Cambridge, UK)
  • Stefano Kasangian (Dipartimento di Matematica "Federigo Enriques", Università degli Studi di Milano, Italy)
  • Robert Rosebrugh (Feb-Mar 2009; Mt Allison U, Canada)
  • Richard Wood (Jan-Feb 2008; Dalhousie University, Canada)
  • Isar Stubbe (Feb-Mar 2008; University of Antwerp, Belgium)
  • Boris Chorny (Mar 2008; Australian National University)
  • Peter Johnstone (Apr 2008; Cambridge University, UK)
  • Michael Shulman (May 2008; University of Chicago, USA)
  • Ezra Getzler (Jul 2008; Aug 2011; Aug 2012; Apr 2014; Northwestern University, USA)
  • Mark Weber (Jul-Sep 2008; 2009; University of Paris VII, France)
  • Denis-Charles Cisinski (Sep 2008; May-Jun 2011; University of Paris XIII, France)
  • Martin Markl (Nov-Dec 2008, Nov-Dec 2010; Nov-Dec 2013; Nov-Dec 2017; Institute of Mathematics of the Academy of Sciences of the Czech Republic)
  • Alain Bruguières (Nov-Dec 2008; University of Montpelier II, France)
  • Alexis Virelizier (Nov-Dec 2008; University of Montpelier II, France)
  • Jiri Rosicky (Nov 2007; Masaryk University, Czech Republic)
  • Dorette Pronk (Jul 2007; Dalhousie University, Canada)
  • Robert Rosebrugh (Aug 2007; Aug 2010; Aug 2011; Oct-Nov 2017; Mt Allison U, Canada)
  • Clemens Berger (Feb 2007; Feb 2009; May 2011; Apr-May 2014; Laboratoire J.A. Dieudonné, Université de Nice-Sophia Antipolis, France)
  • Glynn Winskel (Jan 2007; Cambridge University)
Back to the top of this page