Dr Matthew Danish

Research background

Matthew Danish is a Research Associate within the Networks and Operating Systems group of the Systems Research Group in the Department of Computer Science and Technology. He is interested in systems verification, sensor networks, machine learning, infrastructure and the built environment.

CDBB projects involved with

West Cambridge Digital Twin

Research ambitions for CDBB

I am hoping to deploy a large set of sensors that will dynamically update and feed all kinds of information into the West Cambridge site Digital Twin. In particular, I am working on intelligent sensors that use machine learning algorithms 'at the edge' to distil a small amount of easily transmitted, useful and safely-anonymised information from very high bandwidth inputs. One example of such an application is understanding how people interact with the built environment, using video cameras to observe and applying privacy-preserving analysis to produce useful feedback for architects and engineers.

Publications

Key publications:

Other publications:

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.
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.
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
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.
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.
Matthew Danish. Applying Language-based Static Verification in an ARM Operating System. Presented at the High Confidence Software And Systems Conference. May 2013.
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.
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.
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.
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.

Subject:

Artificial Intelligence and Machine Learning

Big Data

Built Environment

Case Study

Digital Economy and Society

Digital Ethics

Digital Twins

Internet of Things (IoT)

Modelling

Security

Smart cities