My photo

Pedro Martins

FuturePad Ltd
Profiles: github linkedin

My research interests lie in the intersection of cyber-physical systems, programming language design, ubiquitous computing and game development. Some of my previous work involved designing a library for autonomicity in game development and language principles for context-awareness in functional programming.

In the past I worked as a Research Associate for the Intel Collaborative Research Institute for Sustainable Connected Cities helping instrument London with smart city technologies. In particular I designed Scaffold, a framework for designing and implementing smart city applications. I am currently working on FuturePad, a project where I am working in the design of novel programming techniques for smart networked home applications.

Selected publications:

  • Network-wide Programming Challenges in Cyber-Physical Systems; Martins, P. M. and McCann J. A. Cyber-Physical Systems: Foundations, Principles and Applications, Elsevier (book chapter) (preprint, doi)
  • The Programmable City; Martins, P. M. and McCann, J. A. Procedia Computer Science, Volume 52, 2015, Pages 334-341 (Presented at 6th International Conference on Ambient Systems, Networks and Technologies) (pdf)
  • Context-Oriented Functional Programming; Martins, P., 2014. PhD thesis, Imperial College London (uri)
  • The Environment as an Argument; Martins, P. M., McCann, J. A and Eisenbach, S. 2012. Fourteenth International Symposium on Practical Aspects of Declarative Languages. (pdf,slides)
  • ajME: making game engines autonomic; Martins, P. and McCann, J. A. 2010. In Proceedings of the 3rd international Conference on Fun and Games (Leuven, Belgium, September 15 - 17, 2010). Fun and Games '10. ACM, New York, NY, 48-57. (pdf)