We develop middleware systems for distributed systems such as wireless sensor networks, Internet of Things, and autonomous robots. We also develop system software such as embedded operating systems and virtual machines that support the infrastructure of distributed systems.