Matthew Danish

Dr Matthew Danish

Postdoctoral Research Associate at the Computer Laboratory of Cambridge University.



Dr Matthew Danish is an experienced researcher with a background in programming languages, type theory, lightweight verification of computational science as well as systems topics including operating system implementation and sensor networks, and most recently computer vision with an emphasis on object detection and tracking using low-power 'edge' computers. He has been working as a postdoctoral research associate since 2015 at the University of Cambridge Department of Computer Science and Technology as a member first of the Digital Technology Group and then the Systems Research Group.

He has been working on the CamFort and Fortran-Src projects, designing and delivering language analysis and refactoring software for lightweight verification and modernisation of scientific programs written in Fortran. He has collaborated with partners from the Met Office, Bloomberg and the Numerical Algorithms Group to help find bugs in large code bases and modernise older Fortran programs, as well as to disseminate knowledge about these tools and opportunities at numerous workshops.

More recently, he has been a member of the Centre for Digital Built Britain within the Construction Innovation Hub, building intelligent sensors for the West Cambridge Digital Twin project. He developed the DeepDish project for object detection and tracking on edge systems, such as Raspberry Pi, within the Adaptive City framework, and co-authored six papers about topics ranging from intelligent sensors to data management to complex event recognition.

He is also a volunteer trustee of Cambridge Cycling Campaign (Camcycle), a local charity with over 1,600 members, working for more, better and safer cycling in the Cambridge region. As a volunteer he has led campaigns for safer streets and cycling-friendly development suitable for people of all ages and abilities. This has entailed working with community groups, residents associations, elected councillors, council officers, planners and engineers to bring about concrete changes in the built environment to create healthier and more sustainable infrastructure that enables people to be able to safely and easily cycle as a mode of general-purpose transport.

Prior to moving to Cambridge (UK) he was a graduate student at Boston University (USA) completing a PhD in Computer Science and also engaged in volunteering and campaigning for safer streets as a member or partner of local organisations such as LivableStreets Alliance, WalkBoston and Boston Cyclist Union.


Terrier: An embedded operating system using advanced types for safety. Boston University, 2015. [PDF]


Papers, Reports and Presentations

Teaching @Cam

Teaching @BU

Contest awards


Last updated: 30 May 2022