\startcomponent title
\product main

\definemakeup[title][align=middle]

\startmakeup[title]
  {\switchtobodyfont[30pt] Formal Verification of \blank[medium] High-Level Synthesis}
  \blank[1cm]
  {\bfb Late Stage Review}
  \blank[2cm]
  {\rma Yann Herklotz Grave}
  \blank[5cm]

  % http://wiki.contextgarden.net/Command/currentdate
  \currentdate[month,year]
  \blank[5cm]

  \startalignment[flushleft]
  \setupinterlinespace[line=3.8ex]\rma
  \bold{Supervisor}: John Wickerson

  \bold{CID}: 01062783
  \stopalignment
\stopmakeup

\stopcomponent
