CSL is a multidisciplinary research lab focusing on information technology and applications in cybersecurity, robotics and more.

Chapters in Books. A. N. Choudhary, J. H. Patel, and N. Ahuja, "Architecture and performance evaluation of NETRA," Chapter in Parallel Architectures and Algorithms for Image Under ...

Meet our community of graduate students who are driving innovation and excellence in research.

Lyapunov Abstractions for Verifying Inevitability of Hybrid Systems. Parasara S. Duggirala and Sayan Mitra. In the Proceedings of 15th International Conference on Hybrid Systems: Computation and ...

Brighten Godfrey is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and served as CTO of network verification pioneer Veriflow ...

Dr. Thomas Byrne received his Ph.D. in Philosophy from the Husserl Archives in KU Leuven in 2018. He was previously an Associate Professor at Sun Yat-sen University, before joining UIUC in 2023 as a ...

How can we create systems that can learn from their environment, take decisions based on what is learned and navigate in this environment autonomously in the face of uncertainty? Decision and Control ...

Last year, the Semiconductor Research Corporation (SRC) and DARPA announced the Joint University Microelectronics Program 2.0 (JUMP 2.0)—a new long-term program for university research collaboration ...

U. of I. mathematics and electrical & computer engineering professor Yuliy Baryshnikov, lead investigator of the HyDDRA initiative. The U.S. Air Force Office of Scientific Research has funded a new ...

The National Center for Principled Leadership & Research Ethics (NCPRE) creates and disseminates resources to create and support institutional integrity through building Cultures of Excellence. NCPRE ...

If the MRI is funded, there are three positions for people to develop the instrument, and I intend to find postdocs to fill those positions. The intent is to use the MRI as a catalyst for ...

Douglas L. Jones received the BSEE, MSEE, and Ph.D. degrees from Rice University in 1983, 1986, and 1987, respectively. During the 1987-1988 academic year, he was at the University of ...