Publication
Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Video
Data Predictive Control: Bridging Machine Learning and Controls for Volatile Energy Markets
In January 2014, the east coast (PJM) electricity grid experienced an increase in the price of electricity from $31/MWh to $2,680/MWh in a matter of 10 minutes. This extreme price volatility has become the new…
Video
Proving Performance Properties of Functional Programs
Static verification of performance properties of programs is an important problem that has attracted a lot of research. However, most existing tools infer best-effort upper bounds and hope that they match users expectations. In this…
Video
Progress in Error-Correction: A Survey
Error-correcting codes play a crucial role in safeguarding data against the adverse effects of noise during communication and storage. They are also powerful tools that in the arsenal of theoretical computer science and combinatorics. The…
