Special Interest Group on Embedded Systems. Welcome to the SIGBED Review. The peer-reviewed quarterly publication of ACM SIGBED. Provides a dissemination forum for research on embedded computing. Topics of interest include, but are not limited to, embedded software, embedded system architecture, model-based design, distributed real-time middleware, real-time architectures, feedback control, low-power computing, sensor networks, security, and embedded applications. Volume 10, Number .

I work on enabling low-power IP connectivity for the Internet of Things. I have published 30 papers. I also contribute to the Contiki OS. As core developer and maintainer.

Student Projects and Thesis Topics. Seminar Formal Methods for C. Computer Supported Modeling and Reasoning.

Performs cutting-edge research on real-time systems, wireless sensor networks, embedded systems and cyber-physical systems that cross-cut computing, networking and other engineering disciplines.

For example, we develop real-time schedulers and their analysis techniques to meet all the deadlines of given real-time tasks in computing systems. We are also interested in mobile computing from system-level to application-level. In conjunction with IEEE RTSS.

Performs cutting-edge research on real-time systems, Internet of Things, wireless sensor networks and cyber-physical systems that cross-cut computing and other disciplines. Multiple PhD student and postdoc openings. For world-class research on Internet of Things.