Systems & Networking Research Groups
Avant Lab
We push the frontiers of wirelessly networked AIoT devices—from wearables to space computers—advancing their networking, sensing, and computing capabilities.
Wireless, Embedded, Intelligence, Sensing, and Emerging Technologies in Real-world(WEISER)
We enjoy building systems. This involves embedded platform design, programming, networking, and real-world deployments of embedded systems. The required skill set ranges from chip fabrication and programming microcontrollers to developing networking and wireless protocols, distributed computing concepts, machine learning frameworks, and prototyping applications for various scenarios.
- Computer Networks, Embedded Systems, Internet of Things, Mobile Computing & Sensing, Wireless Networks
Verified Systems Engineering
We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. We investigate the theoretical foundations of programming and build tools for ensuring that certain kinds of costly software errors and vulnerabilities never occur in the real-world code, which many people rely upon in their everyday lives.
- Distributed Computing, Systems Modeling & Simulation