Dr Matthew Danish
Researcher at Mathematics and Computer Science department of Eindhoven University of Technology.
Visitor at the Computer Laboratory of Cambridge University [former postdoc].
[CV]
About
Dr Matthew Danish is an experienced researcher with a background in programming language theory, lightweight verification of scientific programs, systems topics including operating system implementation and sensor networks, machine learning for computer vision with an emphasis on object detection and tracking using low-power 'edge' computers, and more recently a cross-disciplinary fusion of geography and computer vision to develop a machine model of human perception of city streets. From Jan 2023 until Jan 2025 he was working at the Utrecht University Geosciences department of Human Geography and Spatial Planning. Before that, he was working as a postdoctoral research associate from 2015 to the end of 2022 at the University of Cambridge Department of Computer Science and Technology as a member of the Digital Technology Group and later the Systems Research Group.
While at Cambridge from 2015 to 2019 he was 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.
From 2019 to 2022 in Cambridge he was 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 several papers about topics ranging from intelligent sensors to data management to complex event recognition.
He was also a volunteer trustee of Cambridge Cycling Campaign (Camcycle) from 2017 to 2022, a local charity with over 1,600 members, working for more, better and safer cycling in the Cambridge region. As a volunteer, he led campaigns for safer streets and cycling-friendly development suitable for people of all ages and abilities. This 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.
Papers, Reports and Presentations
- Danish, M., Labib, SM., Ricker, B., and Helbich, M. A citizen science toolkit to collect human perceptions of urban environments using open street view images. Computers, Environment and Urban Systems. Volume 116, Mar 2025, 102207. [PDF]. arXiv preprint: [PDF]
- Helbich, M., Danish, M., Labib, SM., and Ricker, B. To use or not to use proprietary street view images in (health and place) research? That is the question. Health and Place 87, 2024 [PDF]. arXiv preprint: [PDF]
- Brazauskas, Justas, Chris Jensen, Matthew Danish, Ian Lewis, and Richard Mortier. Cerberus: Privacy-Preserving Crowd Counting and Localisation using Face Detection in Edge Devices. In Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, pp. 25-30. 2024. [PDF]
- Matthew Danish, Rohit Verma, Justas Brazauskas, Ian Lewis and Richard Mortier. DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge. In The 5th International Workshop on Edge Systems, Analytics and Networking (EdgeSys), April 2022. [PDF] [Slides]
- Brazauskas, J., Danish, M., Safronov, V., Verma, R., Mortier, R., and Lewis, I. CDBB West Cambridge Digital Twin: Lessons Learned. 2022. arXiv preprint: [PDF]
- Lamb, K., Fenby-Taylor, H., and Danish, M. (2022). Digital Twin Journeys: Teaching a computer to see. Centre for Digital Built Britain. https://doi.org/10.17863/CAM.82150
- Brazauskas, J., Verma, R., Safronov, V., Danish, M., Lewis, I., and Mortier, R. (2021). Real-time data visualisation on the adaptive city platform. In BuildSys 2021 - Proceedings of the 2021 ACM International Conference on Systems for Energy-Efficient Built Environments. [PDF].
- Safronov, Vadim, Justas Brazauskas, Matthew Danish, Rohit Verma, Ian Lewis, and Richard Mortier. Do we want the New Old Internet? Towards Seamless and Protocol-Independent IoT Application Interoperability. In Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks, pp. 185-191. November 2021. [PDF]
- Verma, Rohit, Justas Brazauskas, Vadim Safronov, Matthew Danish, Ian Lewis, and Richard Mortier. RACER: Real-Time Automated Complex Event Recognition in Smart Environments. In Proceedings of the 29th International Conference on Advances in Geographic Information Systems, pp. 634-637. November 2021. [PDF]
- Brazauskas, Justas, Rohit Verma, Vadim Safronov, Matthew Danish, Jorge Merino, Xiang Xie, Ian Lewis, and Richard Mortier. Data Management for Building Information Modelling in a Real-Time Adaptive City Platform. arXiv preprint arXiv:2103.04924. March 2021. [PDF]
- Verma, Rohit, Justas Brazauskas, Vadim Safronov, Matthew Danish, Jorge Merino, Xiang Xie, Ian Lewis, and Richard Mortier. SenseRT: A Streaming Architecture for Smart Building Sensors. arXiv preprint arXiv:2103.09169. March 2021. [PDF]
- Matthew Danish, Justas Brazauskas, Rob Bricheno, Ian Lewis and Richard Mortier. DeepDish: Multi-Object Tracking with an Off-the-Shelf Raspberry Pi. In The 3rd International Workshop on Edge Systems, Analytics and Networking (EdgeSys), April 2020. [PDF] [Slides]
- Orchard, D., Contrastin, M., Danish, M., and Rice, A. (2020). Guiding user annotations for units-of-measure verification. arXiv: [PDF]
- Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew Rice and Dominic Orchard. Learning units-of-measure from scientific code. In Software Engineering for Science, May 2019. [PDF]
- Matthew Danish, Dominic Orchard, Andrew Rice. Incremental units-of-measure verification. 2018. arXiv copy (uploaded Jun 2024): [PDF]
- Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice. Verifying Spatial Properties of Array Computations. In PACM Progr. Lang. 1, OOPSLA, Article 75. October 2017. [PDF]
- Mistral Contrastin, Andrew Rice, Matthew Danish and Dominic Orchard, Units-of-Measure Correctness in Fortran Programs. In Computing in Science & Engineering, 2016 18(1), Pages 102–107 [web], [preprint]
- Richard West, Ye Li, Eric Missimer, and Matthew Danish. 2016. A Virtualized Separation Kernel for Mixed-Criticality Systems. ACM Trans. Comput. Syst. 34, 3, Article 8 (June 2016), 41 pages. [PDF]
- Matthew Danish, Hongwei Xi. Using lightweight theorem proving in an asynchronous systems context. In Proceedings of the Sixth NASA Formal Methods Symposium. Houston, TX. April 30, 2014. [PDF]
- Matthew Danish. Functional Pearl: Four slot asynchronous communication mechanism. Presented at the ACM SIGPLAN Workshop on Dependently-Typed Programming, informal work-in-progress talk session. Boston, MA. September 24, 2013. [Slides PDF]
- Matthew Danish. Applying Language-based Static Verification in an ARM Operating System. Presented at the High Confidence Software And Systems Conference. May 2013. [Slides PDF]
- Matthew Danish, Hongwei Xi and Richard West. Applying Language-based Static Verification in an ARM Operating System. In Work-in-progress poster session of the 33rd IEEE Real-Time Systems Symposium. San Juan, PR, USA. Dec 4-7, 2012. [PDF]
- Ye Li, Matthew Danish and Richard West. Quest-V: A Virtualized Multikernel for High-Confidence Systems. Technical Report: arXiv:1112.5136, arXiv.org. Also BU Technical Report, 2011-029, Boston University, December 2011. [PDF]
- Matthew Danish, Ye Li and Richard West. Virtual-CPU Scheduling in the Quest Operating System. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium. Chicago, IL, USA. April 11-14, 2011. [PDF]
- Matthew Danish and Hongwei Xi. Operating System Development with ATS. In PLPV 2010: Proceedings of the 4th Workshop on Programming Languages meets Program Verification. Madrid, Spain. Jan 2010. [PDF]
Geography, Spatial Planning and Computer Vision
Computer Vision, Sensor Networks, Edge Computing and Digital Twins
Static Code Analysis, Scientific Computing and Software Evolution
Dependent Types, Language-based Verification, OS Design and Virtualization
Dissertation
Terrier: An embedded operating system using advanced types for safety. Boston University, 2015. [PDF]Projects
- Percept: toolkit for processing volunteered street view imagery and deploying a perception survey mobile web app
- DeepDish: object recognition and tracking for edge systems
- AdaptiveCity project member (former): real-time urban and in-building sensor data processing
- CamFort project member: lightweight verification, modernisation and analysis tools for computational science models
- Fortran-Src project member: parsing and static analysis for Fortran 66 through 2003
- Terrier: Embedded OS for ARM-based Panda and Beagle Boards.
- Puppy: beginner's framework for a Beagle Board OS
- ATS programming language project member (former)
- Quest operating system project member (former)
Contest awards
- 'Best Historical Data Tool': The Late Night T Data Explorer [archived website]
- 'Most Policy Relevance': Exploring Transit and Driving Behavior in MA, with Google Fusion Tables [archived website] (Dec 2019: unfortunately, Google Fusion Tables is being discontinued)
Miscellaneous
- Bus performance scorecard (now defunct)
- Debian developer and package maintainer, username "mrd"
- Software and hardware development blog (retired)
- Member of Utrecht Zouk Brazilian dance community.
Last updated: 31 Mar 2025