Skip to content

Benjamin Herd

  • MSc
  • Software Engineer
  • Sandtable Ltd.

    Research interests

    model checkingformal verificationformal methodsartificial intelligenceAgent-based modelling


    Professional experience

    Software Engineer

    Sandtable Ltd.

    May 2010 - Present

    Software Engineer

    ICON Ltd.

    April 2009 - May 2010(a year)

    Research Scientist

    FZI Research Center for Information Technology

    September 2006 - March 2009(3 years)

    Software Developer

    MagicMaps GmbH

    September 2004 - August 2006(2 years)



    Department of Informatics, King's College London

    October 2010 - Present

    MSc Software Engineering

    Department of Computer Science, University of Oxford

    January 2012 - July 2013(2 years)

    Computer Science, MSc

    FernUniversität Hagen - Open University of Germany

    September 2005 - September 2008(3 years)