How aware should we be of letting AI make decisions on prison sentences? Or what is our responsibility in ensuring that mathematics does not predict another global stock crash?

In this talk, Helena will outline how we can view ethics and responsibility as central to processes of innovation and describe her experiences applying this perspective to teaching in the Department of Computer Science. There will be a chance to open up discussion about how this same approach can be applied in other Departments here in Oxford.

Helena is an interdisciplinary researcher working in the Department of Computer Science. She works on projects that involve examining the social impacts of computer-based innovations and identifying the ways in which these innovations can better meet societal needs and empower users. Helena is very passionate about the need to embed ethics and responsibility into processes of learning and research in order to foster technologies for the social good.

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please contact @email.

C*-algebras provide non commutative analogues of locally compact Hausdorff spaces. In this talk I’ll provide a survey of the large scale project to classify simple amenable C*-algebras, indicating the role played by non commutative versions of topological ideas. No prior knowledge of C*-algebras will be assumed.

The d-dimensional bordism category Cob_d has as objects closed (d-1)-manifolds and as morphisms diffeomorphism classes of d-dimensional bordisms. For d=1 and d=2 this category is well understood because we have a complete list of all 1 or 2-manifolds with boundary. In this talk I will argue that the categories Cob_1 and Cob_2 nevertheless carry a lot of interesting structure. 

I will show that the classifying spaces B(Cob_1) and B(Cob_2) contain interesting moduli spaces coming from the combinatorics of how 1 or 2 manifolds can be glued along their boundary. In particular, I will introduce the notion of a "factorisation category" and explain how it relates to Connes' cyclic category for d=1 and to the moduli space of tropical curves for d=2. If time permits, I will sketch how this relates to the curve complex and moduli spaces of complex curves.