Also available as a PDF.

# Joshua Chen

## Curriculum Vitae

## Education

**Masters in Mathematics**

Thesis grade: 1.5
University of Bonn

2015–2018

Advisor: Prof. Dr. Peter Koepke

**B.Sc. (Honours) Mathematics**

with First Class Honours
Australian National University

2013–2014

Advisor: Assoc. Prof. Scott Morrison

**B.Sc. Mathematics**

Dean's Congratulations
University of Canterbury

2010–2012

## Research & work

**Targeted topic modeling for the E2mC disaster management system**

*Research assistant*
Fraunhofer IAIS

2017–2018

Targeted topic modeling of tweet corpora to automatically identify issues of interest to emergency response services.

**Homotopy type theory in Isabelle/Pure**

*Masters thesis project*
University of Bonn

2017–2018

An implementation of homotopy type theory as an object logic in the interactive proof assistant Isabelle, hosted on GitHub.

**Visualization and enumeration of planar trivalent graphs**

*Research assistant*
Australian National University

2015

Developed algorithms in Scala to enumerate and automatically draw certain classes of planar graphs, as part of research investigating subfactors and planar algebras.

**The Temperley-Lieb categories and skein modules**

*Honours thesis*
Australian National University

2013–2014

Final year Bachelors research thesis in category theory and quantum algebra, available online at arXiv:1502.06845[math.QA].

**Integer houses in cyclotomic fields**

*ANU Summer Research Scholarship*
Australian National University

Nov 2012–Jan 2013

Selective international undergraduate research program. My research was in abstract algebra, investigating questions about the dimensions of objects in fusion categories.

## Teaching assistance

**Intelligent Learning and Analysis Systems: Machine Learning**

(Ma-Inf 4111)
University of Bonn

Winter 2017/2018

**Intelligent Learning and Analysis Systems: Data Mining and Knowledge Discovery**

(Ma-Inf 4112)
University of Bonn

Summer 2017

**Engineering Mathematics 1B**

(Emth119)
University of Canterbury

Fall 2015

**Mathematics & Applications 1**

(Math1013)
Australian National University

Fall 2014

**Discrete Mathematics**

(Math120)
University of Canterbury

Fall 2013

## Awards & achievements

ANU Mathematical Sciences Institute Honours Scholarship 2013

ANU Summer Research Scholarship 2012

University of Canterbury Peter Bryant Prize for pure mathematics 2011