Dr Matthew Danish
Postdoctoral Research Associate at the Computer Laboratory of Cambridge University.
[CV]
About
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.
Dissertation
Terrier: An embedded operating system using advanced types for safety. Boston University, 2015. [PDF]Projects
- DeepDish: object recognition and tracking for edge systems
- AdaptiveCity project member: 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)
Papers, Reports and Presentations
- 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]
- 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.
- 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.
- 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]
- 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]
- 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.
- 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. DOI: http://dx.doi.org/10.1145/2935748
- 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]
Teaching @Cam
- Supervisor for Concurrent and Distributed Systems (2016-2018).
- Supervisor for Types (2015-2016).
Teaching @BU
- Assistant for Boston University CS131 [Combinatorial Structures] Spring 2015
- Assistant for Boston University CS330 [Algorithms] Fall 2014
- Assistant for Boston University CS108 [Application Programming] Fall 2012
- Assistant for Boston University CS131 [Combinatorial Structures] Spr 2010
- Assistant for Boston University CS131 [Combinatorial Structures] Fall 2009
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
- Visualization of MBTA bus historical real-time location data overlaid on a map of Boston
- Bus performance scorecard (now defunct)
- Debian developer and package maintainer, username "mrd"
- Software and hardware development blog (retired)
- Member of Zouk Cambridge Brazilian dance community.
Last updated: 30 May 2022