The following is a list of the software projects I have contributed to in a smaller or greater extent.


The DICE (Distributed Invariant Checker) system provides high-level, declarative constructs to describe network processes using safety properties which are monitored by an flexible accompanying runtime. The system not only monitors absolute properties such as "the temperature of any node must be below a given threshold", but also global properties such as "there should not be a temperature difference greater than a threshold". In their most general form, the properties consist of polynomial inequalities connected by logical operators. The polynomial variables represent the state of network nodes. The design allows the system to run on a heterogenous wireless network and to be easily reconfigured by adding or removing properties. Moreover, the monitoring takes place in a fully distributed and autonomous fashion and can be performed on top of a mobile network.

If you would like to contribute and you are familiar with Contiki OS, you can start here.


Programming Wireless Sensor Networks (WSNs) is currently perceived as a difficult task, an issue which may seriously hamper a widespread adoption of this technology. Most often, WSN programmers work at the level of the operating system, using basic communication primitives. Differently, TeenyLIME empowers WSN programmers with a higher level of abstraction by replacing the OS-level communication constructs with the notion of a shared memory space spanning neighboring (1-hop) nodes. TeenyLIME can be used to implement both application-level and system-level mechanisms, e.g., routing and MAC protocols. In addition, unlike most programming models in the WSN literature, TeenyLIME is extensively used in real-world WSN deployments, e.g., monitoring heritage buildings and control of road tunnels, where it provides a foundation to build efficient WSN systems with reduced programming effort.

TeenyLIME has been used in the Torre Aquila deployment, TRITon and ACube. More information and the source code are available on the SourceForge hosting site.

Pet projects

  • Thermy! - the Raspberry Pi smart thermostat that employs deep learning to optimize the heating of your house.
  • Picture Cast is a native iOS application that display your pictures on a Chrome Cast device.
  • git-graph is web based graphical interface that displays the history of a GIT repository.
  • the "fat" 3mate toolchain containing TinyOS drivers for micro-controllers in the MSP430 2xx series, SD card and FRAM storages, and NMEA GPS receivers. You can download it from my old site here.
  • Let's Do It, Romania! I wrote the backend for the 2011 campaign. The sources are hosted on Google Code.
  • 3sbed, a WSN testbed manager implemented in Java EE. I never completed this project. If, however, this raises your interest, the sources are available on Google Code.