Sayan Mitra

Sayan Mitra is an Associate Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. His research interests are in formal verification, distributed computing, and cyberphysical systems.

Geir Dullerud

Geir Dullerud is the W. Grafton and Lillian B. Wilkins Professor in the department of Mechanical Science and Engineering in the University of Illinois at Urbana-Champaign. His areas of current research interest include control theory, cyber-physical systems security and privacy, games, robotic vehicles, and hybrid dynamical systems.

Nitin Vaidya

Nitin Vaidya is a Professor and the Associate Head of the department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. He and his group perform research on topics in distributed computing, with an emphasis on design and theoretical analysis of distributed algorithms.

Nicole Chan

Nicole is a second year ECE graduate student, and she is interested in controls research for safety-critical cyperphysical systems. She is currently assembling a fleet of autonomous ground vehicles that are 1/10th scale formula race cars.

Peter Du

Peter a junior in the ECE department. He is currently assisting with deployment of the ground vehicle fleet."

Ritwika Ghosh

Ritwika is a fourth year CS graduate student, interested in programming language semantics and formal verification of distributed systems. She is working on the design and formal semantics of high level language, and formal verification of applications developed using this framework.

Joao Porto

Joao is a third year MechSE graduate student, interested in controls research for decentralized systems. He is currently designing a fleet of quadrotors and a indoor poisitioning sytem based on ultra-wideband technology.

Shuting Li

Shuting is a masters student in the ECE department. She is currently working on an online interface for the framework."

Shuchen Song

Shuchen is a fourth year ECE undergraduate student interested in hardware and software systems. He is currently working on the the StarL framework to enable modularity and efficient interfacing with hardware platforms.

Daniel Olivas Hernandez

Daniel is a third year ECE undergraduate student interested in hardware and software systems. He is currently assisting in the task of building and setting up the quadrotors to be tested."

Aygen Berk Cagilci

Berk is a fourth year ECE undergraduate student. He is currently assisting in the task of deployment of the ground vehicle fleet."

Alumni

Sriram Raghu
Shicheng Zhou