I am proficient in distributed computer systems, specifically distributed wireless sensor and actuator networks. This involves the whole range of paradigms from cloud to embedded development....Read moreI am proficient in distributed computer systems, specifically distributed wireless sensor and actuator networks. This involves the whole range of paradigms from cloud to embedded development. My speciality is in creating easy bridges between the large scale cloud computing algorithms needed to provide meaningful services, and the embedded systems that provide the locality needed for the sensor data.
My 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. My education and experience centers around distributed software development and verification.
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 interested in engineering and helping to engineer and develop distributed systems.
Programming Languages:
I am proficient in programming language theory, and UNIX environments and very eager to learn new paradigms. The programming languages most used by me daily are: Haskell, C, C++, x86 Assembly, Java, Ruby, Lisp, Python. Also proficient in domain-specific languages for webdesign and typesetting: LATEX, HTML/JavaScript/CSS, XML/XSLT/XSD, GNU Make.
Academic roles:
• PC/Reviewer: FNG2010, IJART (journal), FNG2011, Ubicomp 2014, SPE (journal)
• Session Chair: ANT 2015, IntelliSys 2015
Other Interests:
• Open Source Development: Developed/contributed to open-source Haskell projects including GHCJS and Cuboid (featured on a YouTube tutorial on Haskell programming)
• Programming Security Challenges: Regularly participate in programming and security challenges, including capture the flag challenges, involving web security, reverse engineering and remote exploitation.
• Imperial College London Societies: I have been involved in the management and event organisation of several societies at Imperial College London, such as Imperial College Robotics Society and Software Club.
• Independent Film, Independent Music, Graphic Novels