\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{David Michael Roberts}

[[!redirects David Roberts]]

I am currently a Research Associate (that is, a postdoc) at the \href{http://www.iga.adelaide.edu.au/}{Institute for Geometry and its Applications} in the \href{http://maths.adelaide.edu.au/}{School of Mathematical Sciences} at the University of Adelaide.

I work on [[bundle gerbes]], [[principal 2-bundles|2-bundles]], [[geometric stacks]] and [[internal category|internal groupoids and categories]], and [[category theory]] more generally with a side interest in [[foundations]]. I have a particular interest in constructing examples in (low-dimensional) [[higher geometry]].

Previous to this, for July-2017 to February 2018 I was a Lecturer (=Assistant Professor in the US system) in the School of Mathematical Sciences. I was also a Research Associate at the University of Adelaide from October 2013 to April 2015.

You may also find me on: \href{https://www.ams.org/mathscinet/search/author.html?mrauthid=788905}{MathSciNet}, \href{https://scholar.google.com.au/citations?user=KGianq8AAAAJ&hl=en}{Google Scholar}, \href{https://mathoverflow.net/users/4177/david-roberts}{MathOverflow}, \href{https://arxiv.org/a/roberts_d_1.html}{arXiv}, \href{http://orcid.org/0000-0002-3478-0522}{ORCiD}, \href{https://publons.com/a/430214/}{Publons}, or my blog, \href{https://thehighergeometer.wordpress.com/}{theHigherGeometer}.

If you need it, here is my email: droberts.(fifth and largest-known [[Fermat prime]])@gmail.etc or first.last@adelaide.edu.au

\noindent\hyperlink{writing}{Writing}\dotfill \pageref*{writing} \linebreak
\noindent\hyperlink{preprintsnotes}{Preprints/Notes}\dotfill \pageref*{preprintsnotes} \linebreak
\noindent\hyperlink{papers}{Papers}\dotfill \pageref*{papers} \linebreak
\noindent\hyperlink{in_preparation}{In preparation}\dotfill \pageref*{in_preparation} \linebreak
\noindent\hyperlink{other}{Other}\dotfill \pageref*{other} \linebreak
\noindent\hyperlink{selected_talks}{Selected Talks}\dotfill \pageref*{selected_talks} \linebreak
\noindent\hyperlink{supervision_and_teaching}{Supervision and teaching}\dotfill \pageref*{supervision_and_teaching} \linebreak
\noindent\hyperlink{copyright_statement}{Copyright statement}\dotfill \pageref*{copyright_statement} \linebreak


\hypertarget{writing}{}\subsection*{{Writing}}\label{writing}

\hypertarget{preprintsnotes}{}\subsubsection*{{Preprints/Notes}}\label{preprintsnotes}

\begin{itemize}%
\item \emph{The construction of formal anafunctors} (2018), arXiv:\href{https://arxiv.org/abs/1808.04552}{1808.04552} doi:\href{https://doi.org/10.25909/5b6cfd1a73e55}{10.25909/5b6cfd1a73e55} (Note that this was cited in \emph{Internal Categories, Anafunctors and Localisations} with the title \emph{Strict 2-sites, J-spans and Localisations}, and some paper containing these notes may yet have that title)


\item \emph{Extending Whitney's extension theorem: nonlinear function spaces}, \href{https://arxiv.org/abs/1801.04126}{arXiv:1801.04126}. Joint with [[Alexander Schmeding]].


\item \emph{Class forcing and topos theory} (2018) notes from my 2015 talk at IHES, doi:\href{https://doi.org/10.4225/55/5b2252e3092af}{10.4225/55/5b2252e3092af}


\item \emph{Comments on Mochizuki’s 2018 Report} (2018) doi:\href{https://doi.org/10.25909/5c5ce1fda4b7c}{10.25909/5c5ce1fda4b7c}, (\href{https://thehighergeometer.wordpress.com/2018/09/28/on-mochiukis-report-on-discussions/}{blog post})


\item \emph{(Re)constructing code loops}, \href{https://arxiv.org/abs/1903.02748}{arXiv:1903.02748}. Joint with Ben Nagy.



\end{itemize}
\hypertarget{papers}{}\subsubsection*{{Papers}}\label{papers}

\begin{itemize}%
\item \emph{Smooth loop stacks of differentiable stacks and gerbes}, [[Cahiers de Topologie et Géométrie Différentielle Catégoriques]], Vol LIX no 2 (2018) pp 95-141 \href{http://cahierstgdc.com/index.php/volume-lix-2018/}{journal version}, \href{https://arxiv.org/abs/1602.07973}{arXiv:1602.07973}. Joint with [[nLab:Raymond Vozzo|Raymond Vozzo]].


\item \emph{The smooth Hom-stack of an orbifold}, In: Wood D., de Gier J., Praeger C., Tao T. (eds) 2016 MATRIX Annals. MATRIX Book Series, vol 1 (2018) doi:\href{https://doi.org/10.1007/978-3-319-72299-3_3}{10.1007/978-3-319-72299-3\_3}, \href{https://arxiv.org/abs/1610.05904}{arXiv:1610.05904}, \href{https://www.matrix-inst.org.au/2016-matrix-annals/}{MATRIX hosted version}. Joint with [[nLab:Raymond Vozzo|Raymond Vozzo]]


\item \emph{Equivariant bundle gerbes}, \href{https://intlpress.com/site/pub/pages/journals/items/atmp/_home/_main/}{Advances in Theoretical and Mathematical Physics} 21 (2017) no. 4 pp 921-975, doi:\href{https://doi.org/10.4310/ATMP.2017.v21.n4.a3
}{10.4310/ATMP.2017.v21.n4.a3}, \href{https://arxiv.org/abs/1506.07931}{arXiv:1506.07931}. Joint with [[nLab:Michael Murray|Michael Murray]], [[nLab:Danny Stevenson|Danny Stevenson]] and [[nLab:Raymond Vozzo|Raymond Vozzo]].


\item \emph{Quasi-periodic paths and a string 2-group model from the free loop group}, \href{https://www.heldermann.de/JLT/jltcover.htm}{Journal of Lie Theory}, 27 (2017), No. 4, 1151-1177. \href{https://www.heldermann.de/JLT/JLT27/JLT274/jlt27058.htm}{journal version} (paywall), \href{https://arxiv.org/abs/1702.01514}{arXiv:1702.01514}. Joint with [[Michael Murray]] and [[Christoph Wockel]].


\item \emph{A bigroupoid's topology (or, Topologising the homotopy bigroupoid of a space)}, \href{https://link.springer.com/journal/40062}{Journal of Homotopy and Related Structures} Volume 11, Issue 4 (2016) pp 923-942, doi:\href{https://doi.org/10.1007/s40062-016-0160-0}{10.1007/s40062-016-0160-0}, \href{http://rdcu.be/l2yl}{ReadCube}, \href{https://arxiv.org/abs/1302.7019}{arXiv:1302.7019}.


\item \emph{On certain 2-categories admitting localisation by bicategories of fractions}, \href{https://link.springer.com/journal/10485}{Applied Categorical Structures} Volume 24, Issue 4 (2016) pp 373-384, doi:\href{http://dx.doi.org/10.1007/s10485-015-9400-4}{10.1007/s10485-015-9400-4}, \href{https://rdcu.be/5uvT}{ReadCube}, \href{http://arxiv.org/abs/1402.7108}{arXiv:1402.7108}.


\item \emph{Simplicial principal bundles in parametrized spaces}, \href{https://nyjm.albany.edu/}{New York Journal of Mathematics} Volume 22 (2016) 405-440, \href{http://nyjm.albany.edu/j/2016/22-19.html}{journal version}, \href{https://arxiv.org/abs/1203.2460}{arXiv:1203.2460}, joint with [[nLab:Danny Stevenson|Danny Stevenson]].


\item \emph{A topological fibrewise fundamental groupoid}, \href{https://intlpress.com/site/pub/pages/journals/items/hha/_home/_main/index.html}{Homology, Homotopy and Applications}, Volume 17, Number 2 (2015) 37-51, doi:\href{https://doi.org/10.4310/HHA.2015.v17.n2.a4}{10.4310/HHA.2015.v17.n2.a4}, \href{https://arxiv.org/abs/1411.5779}{arXiv:1411.5779}.


\item \emph{The weak choice principle WISC may fail in the category of sets}, \href{https://link.springer.com/journal/11225}{Studia Logica} Volume 103, Issue 5 (2015) pp 1005-1017, doi:\href{https://doi.org/10.1007/s11225-015-9603-6}{10.1007/s11225-015-9603-6} \href{https://arxiv.org/abs/1311.3074}{arXiv:1311.3074}.


\item \emph{The universal simplicial bundle is a simplicial group}, \href{https://nyjm.albany.edu/}{New York Journal of Mathematics}, Volume 19 (2013) 51-60, \href{http://nyjm.albany.edu/j/2013/19-5.html}{journal version}, \href{https://arxiv.org/abs/1204.4886}{arXiv:1204.4886}.


\item \emph{On the existence of bibundles}, \href{https://www.lms.ac.uk/publication/plms}{Proc. London Math. Soc.} (2012) 105 (6): 1290-1314, doi:\href{https://doi.org/10.1112/plms/pds028}{10.1112/plms/pds028}, \href{https://arxiv.org/abs/1102.4388}{arXiv:1102.4388}. Joint with [[nLab:Michael Murray|Michael Murray]] and [[nLab:Danny Stevenson|Danny Stevenson]]


\item \emph{Internal categories, anafunctors and localisations}, [[Theory and Applications of Categories]], Vol. 26, 2012, No. 29, pp 788-829, \href{http://www.tac.mta.ca/tac/volumes/26/29/26-29abs.html}{journal version}, \href{https://arxiv.org/abs/1101.2363}{arXiv:1101.2363}


\item \emph{Fundamental bigroupoids and 2-covering spaces}, PhD thesis, University of Adelaide (2010). \href{https://digital.library.adelaide.edu.au/dspace/handle/2440/62680}{DSpace@Adelaide}


\item \emph{The inner automorphism 3-group of a strict 2-group}, \href{https://tcms.org.ge/Journals/JHRS/}{Journal of Homotopy and Related Structures}, vol. 3(1), 2008, pp.193--245, \href{https://tcms.org.ge/Journals/JHRS/volumes/2008/volume3-1.htm}{journal version}, \href{https://arxiv.org/abs/0708.1741}{arXiv:0708.1741}. Joint with [[nLab:Urs Schreiber|Urs Schreiber]].


\item \emph{Yang-Mills theory for bundle gerbes}, \href{https://iopscience.iop.org/1751-8121}{Journal of Physics A: Mathematical and Theoretical} 39:6039-6044, 2006, doi:\href{https://doi.org/10.1088/0305-4470/39/20/027}{10.1088/0305-4470/39/20/027}, \href{https://arxiv.org/abs/hep-th/0509037}{arXiv:hep-th/0509037}. Joint with [[nLab:Mathai Varghese|Mathai Varghese]]



\end{itemize}
\hypertarget{in_preparation}{}\subsubsection*{{In preparation}}\label{in_preparation}

\begin{itemize}%
\item \emph{String structures and string connections on homogeneous spaces}, joint with Raymond Vozzo

\end{itemize}
\hypertarget{other}{}\subsubsection*{{Other}}\label{other}

\begin{itemize}%
\item \emph{A Crisis of Identification}, Inference: International Review of Science \textbf{4} Issue 3 (2019) (\href{https://inference-review.com/article/a-crisis-of-identification}{link})


\item \emph{No Ancient Scottish Evidence of Fifth Platonic Solid}, Letter to the Editor, Notices of the American Mathematical Society \textbf{65} no 6 (2018) p 677 (\href{https://www.ams.org/journals/notices/201806/rnoti-p676.pdf}{link})


\item \emph{What do mathematicians think about their journals? Peer review quality tops list of stated issues}, LSE Impact Blog, June 22 2016 \href{http://blogs.lse.ac.uk/impactofsocialsciences/2016/06/22/what-do-mathematicians-think-about-their-journals-peer-review-quality-tops-list-of-stated-issues/}{Blog post} (joint with Cameron Neylon and Mark C. Wilson)


\item Review of \emph{Mathematics without apologies: Portrait of a problematic vocation} by Michael Harris. (\href{http://press.princeton.edu/titles/10317.html}{publisher's page}) Appears in: Gazette of the Australian Mathematical Society, Vol. 43 (2016) No. 2 (\href{http://www.austms.org.au/Publ/Gazette/2016/May16/BkRev.pdf}{journal pdf})


\item Contribution to \emph{The ``Bounded Gaps between Primes'' Polymath Project: A Retrospective Analysis}, Newsletter of the European Mathematical Society, No. 94, December 2014. (page 19 of \href{http://www.ems-ph.org/journals/newsletter/pdf/2014-12-94.pdf}{this pdf})


\item Review of \emph{Lectures on real analysis} by [[Finnur Larusson]], Australian Mathematical Society Lecture Series, No. 21. (\href{https://www.cambridge.org/us/academic/subjects/mathematics/real-and-complex-analysis/lectures-real-analysis}{publisher's page}) Appears in: Gazette of the Australian Mathematical Society, Vol. 41 (2014) No. 5 (\href{http://www.austms.org.au/Publ/Gazette/2014/Nov14/BkRev.pdf}{journal pdf})



\end{itemize}
\hypertarget{selected_talks}{}\subsection*{{Selected Talks}}\label{selected_talks}

\begin{itemize}%
\item \emph{Groupoids, spans and cospans}, \href{http://www.maths.usyd.edu.au/u/nathanb/GroupoidsGraphsAlgebras/}{Groupoids, Graphs, and Algebras}, University of Sydney. 2 July 2019.


\item \emph{From cows to inductive types; or, What are numbers?}, School of Mathematical Sciences Undergraduate Seminar, University of Adelaide. 5 September 2018.


\item \emph{The stack of smooth maps from a manifold to a differentiable stack is differentiable}, \href{https://cgp.ibs.re.kr/conferences/Topology_in_Australia_and_South_Korea/}{Topology in Australia and South Korea}, POSTECH. 23 April 2018. (\href{https://cgp.ibs.re.kr/activities/seminars/283/2145}{Video}, requires flash)


\item \emph{Constructions in lower dimensional higher geometry}, \href{http://iga.adelaide.edu.au/workshops/MKM60/}{Gauge theory and higher geometry}, University of Adelaide. 29 November 2017.


\item \emph{Constructing differential string structures}, \href{http://maths.adelaide.edu.au/news/geometry.html}{Differential geometry seminar}, University of Adelaide. 7 June 2017.


\item \emph{Smooth mapping stacks of differentiable stacks and orbifolds}, \href{https://math.colorado.edu/seminars/?date=2016-12-01}{Functional analysis seminar}, University of Colorado, Boulder. 1 December 2016.


\item \emph{Low-dimensional higher geometry by examples}, \href{https://math.colorado.edu/seminars/?date=2016-11-29}{Kempner Colloquium}, University of Colorado, Boulder. 29 November 2016.


\item \emph{Smooth mapping orbifolds}, \href{http://maths.adelaide.edu.au/news/geometry.html}{Differential geometry seminar}, University of Adelaide. 20 May 2016.


\item \emph{Class forcing and topos theory}, \href{https://indico.math.cnrs.fr/event/747/}{Topos a IHES}, IHES, 27 November 2015. (\href{https://indico.math.cnrs.fr/event/747/session/0/contribution/27/material/1/0.pdf}{Abstract}), (\href{https://youtu.be/4AaSySq8-GQ}{Video}), (\href{https://doi.org/10.4225/55/5b2252e3092af}{Notes})


\item \emph{Homogeneous string connections}, \href{http://www.flinders.edu.au/science_engineering/csem/research/centres/fmsl/austms2015/}{2015 Annual Meeting of the Australian Mathematical Society}, 1 October 2015. (\href{http://www.mathematics.org.au/sys/talks/talk.php?talk=2764&conf_id=26}{Abstract})


\item \emph{Homogeneous bundles and higher geometry}, \href{http://eci.karlin.mff.cuni.cz/}{Eduard ech Institute for Algebra, Geometry and Physics}, 24 February 2015 (\href{https://www.dropbox.com/s/1a2wy93ejkyutr3/Prague_notes.pdf?dl=0}{notes})


\item \emph{A new String group model from LG}, \href{http://www.math.uni-hamburg.de/ids2015/}{Infinite-dimensional Structures in Higher Geometry and Representation Theory}, Universit\"a{}t Hamburg, February 2015


\item \emph{String structures on homogeneous bundles}, \href{http://www.austms2014.ms.unimelb.edu.au/}{8th Australia New Zealand Mathematics Convention}, 12 December 2014 (\href{http://www.mathematics.org.au/sys/shared/talk.php?talk=2626&conf_id=22}{Abstract})


\item \emph{A geometric proof of a theorem of Serre}, \href{http://maths.anu.edu.au/events/algebra-and-topology-seminar-0}{Algebra and Topology seminar}, Australian National University, 23 September 2014. (\href{http://maths.anu.edu.au/events/geometric-proof-theorem-serre}{Abstract})


\item \emph{Explicit string bundles}, \href{http://www.christiansaemann.de/higherworkshop2014/index.html}{Workshop on Higher Gauge Theory and Higher Quantization}, Heriot-Watt University, June 2014. (\href{https://www.dropbox.com/s/3f0beiksla65j5n/HW_talk_notes_Roberts.pdf}{notes from talk})


\item \emph{An explicit string bundle}, \href{http://www.ms.unimelb.edu.au/research/seminars.php?id=1653}{Algebra/Geometry/Topology seminar} University of Melbourne, 22 November 2013.


\item \emph{An explicit string bundle}, \href{http://www.maths.usyd.edu.au/u/austms2013/abstracts.html}{AustMS 2013}, 3 October 2013 (\href{https://www.writelatex.com/read/tsbybtssscbg}{slides in WriteLaTeX}).


\item \emph{Proper class forcing}, \href{http://web.science.mq.edu.au/groups/coact/seminar/ct2013/programme.html}{Category Theory 2013}, July 2013.



\end{itemize}
The complete list is [[davidroberts:talks|here]].

\hypertarget{supervision_and_teaching}{}\subsection*{{Supervision and teaching}}\label{supervision_and_teaching}

See [[davidroberts:teaching/students|here]] for a list of student projects I have supervised and courses I have taught.

\hypertarget{copyright_statement}{}\subsection*{{Copyright statement}}\label{copyright_statement}

My contributions to the [[HomePage|nLab]] are released under a \href{http://creativecommons.org/publicdomain/zero/1.0/}{CC0} license. This is essentially public domain, but works in jurisdictions where such matters are difficult. Normal academic standards do apply, so attribution of ideas where they are clearly mine would be nice.

category: people



\end{document}