The CSL Compute-Energy-Nexus Workshop was held in November 2024. CSL researchers came together with their industry partners ...

In November 2024, the Coordinated Science Laboratory hosted a Compute-Energy-Nexus Workshop to bring together groups of ...

B.S., Electrical Engineering, Korea Advanced Institute of Science and Technology, 1997. M.S., Electrical Engineering, Korea Advanced Institute of Science and ...

Naira Hovakimyan received her MS degree in Applied Mathematics from Yerevan State University in Armenia. She got her Ph.D. in Physics and Mathematics from the Institute of Applied Mathematics of ...

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 ...

Data science components such as statistics, data mining, predictive analytics, and machine learning are being applied to improve urban transportation services, customer experiences, diagnostics, 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 ...

Machine Learning, Neural networks, Transformers, Federated Learning and their applications to health data analytics, mobile devices, and control systems. Health Data Analytics: Multi-modal modeling ...

Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, January 1987 ...

Ph.D., MIT, 2007. Thesis title: "A Verification Framework for Hybrid Systems." Advisor: Nancy Lynch MSc, Indian Institute of Science, 2001 BE, Jadavpur University, 1999 ...